RELACIÓN DE PERTENENCIA

RELACIÓN DE  PERTENENCIA

La relación «es un elemento de», también llamada miembro del conjunto, se denota mediante el símbolo, y al escribir

Estamos diciendo que  es un elemento de. Equivalentemente, podemos decir o escribir « es un miembro de  », « pertenece a  », « es en », « reside en », « incluye », o « contiene ». La negación de este símbolo se denota.

 

No obstante lo anterior, los términos «A incluye X» y «A contiene X» son ambiguos, porque algunos autores también los usan para referirse a que «X es un subconjunto de A».¹ El lógico George Boolos es enfático al aclarar que la palabra «contiene» debe usarse sólo para pertenencia de elementos, e «incluye» sólo para relaciones de subconjuntos.

Sean  X un elemento y A,B conjuntos:

Relación	Notación	Se lee
pertenencia		x pertenece a A
inclusión		A está contenido en B
		A está contenido en B o es igual que B
inclusión		A contiene a B
		A contiene a B o es igual que B

Una barra cruzada sobre el símbolo niega el enunciado; por ejemplo  es «x no pertenece a A».