CONJUNTO Y NOTACIÓN
Conjunto:
Un conjunto es una colección de objetos. Los objetos pueden ser de cualquier clase (números, puntos, rectas, etc.), en la medida en que sepamos que objetos están en un conjunto dado y cuáles no. Si S es un conjunto y P es un objeto en el, escribimos P E S, y decimos que P pertenece a S, o que P es un elemento de S.
Si S1 y S2 son dos conjuntos, su unión, denotada por S1 U S2 consta de todos los objetos que están por lo menos en uno de los dos conjuntos. La intersección de S1 y S2 denotada por S1 S2 consta de todos los objetos que están en ambos conjuntos.
Puede darse que dos conjuntos S1 y S2 no tengan ningún elemento en común. En tal caso decimos que su intersección es vacía y usamos el término conjunto …ver más…

Por ejemplo: En notación matemática "∞" significa "infinito".

PERTENENCIA Y NO PERTENENCIA
Pertenencia:
La pertenencia es la relación de una cosa con quien tiene derecho a ella. El término suele utilizarse para nombrar a la cosa que es propiedad de una persona determinada, es decir, que tiene un dueño. En el caso de lógica matemática, la pertenencia se refiere a un si un conjunto o elemento está dentro del diagrama, formando parte de él.
Para expresar pertenencia usamos el siguiente símbolo o signo:

No Pertenencia: La no pertenencia en lógica matemática es totalmente lo contrario a la pertenencia, puesto que se refiere a que un conjunto o elemento no está en el diagrama o no es perteneciente del mismo, no formando parte de él. Para expresar la no pertenencia usamos el siguiente símbolo o signo:

IGUALDAD E INCLUSIÓN DE CONJUNTOS
Igualdad de Conjuntos: Se refiere a cuando dos conjuntos son iguales cuando están formados por los mismos elementos. Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos elementos, es decir si cada elemento de A pertenece a B y si cada elemento que pertenece a B pertenece también a A. La igualdad se denota A=B. En la igualdad, el orden de los elementos de cada conjunto no importa. La igualdad de conjuntos cumple las propiedades: * Reflexiva: Todo conjunto es igual a si mismo.

* Simétrica: Si un conjunto