Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Unión e intersección de conjuntos»

Contenido eliminado Contenido añadido
Sin resumen de edición
Sin resumen de edición
Línea 46:
<blockquote>
<p>'''( I-1 )''' <math>x\cap x=x</math> (idempotencia)</p>
<p>'''( I-2 )''' <math>x\cap\empty=\emptyvarnothing</math></p>
<p>'''( I-3 )''' <math>x\cap y=y\cap x</math> (conmutatividad) </p>
<p>'''( I-4 )''' <math>x\cap(y\cap z)=(x\cap y)\cap z</math> (asociatividad) </p>
Línea 62:
 
 
'''1.3.3.''' Si <math>x</math> e <math>y</math> son dos conjuntos tales que <math>x\cap y=\emptyvarnothing</math> (i.e. si <math>x</math> e <math>y</math> no tienen elementos en común) se dice que <math>x</math> e <math>y</math> son ''conjuntos disjuntos''.
 
 
Línea 91:
 
 
'''1.3.6.''' Nótese que, de acuerdo a la definición anterior, si <math>C=\emptyvarnothing</math>, entonces, puesto que en ese caso <math>x\in\emptyvarnothing</math> implica <math>a\in x</math> para cualquiera que sea el conjunto <math>x</math> y el elemento <math>a</math>, el conjunto <math>\bigcap C</math> lo contiene todo.