Informasi yang berkaitan dengan es/Extensión (lógica de predicados)