intersecció y reunió de conjunts

x = { t : t€x }
¬x = { t : ¬( t€x ) }


x [M] y ={ t : t€x  &  t€y }
x [W] y ={ t : t€x  or  t€y }


¬x [M] ¬y ={ t : ¬( t€x ) & ¬( t€y ) }
¬x [W] ¬y ={ t : ¬( t€x ) or ¬( t€y ) }


x [M] y [<< x [W] y
¬x [M] ¬y [<< ¬x [W] ¬y


x [M] y [<< x
x [M] y [<< y


¬x [M] ¬y [<< ¬x
¬x [M] ¬y [<< ¬y


x [<< x [W] y
y [<< x [W] y


¬x [<< ¬x [W] ¬y
¬y [<< ¬x [W] ¬y


x [<< y <==> x [M] y = x  <==> x [W] y = y
¬y [<< ¬x <==> ¬x [M] ¬y = ¬y  <==> ¬x [W] ¬y = ¬x