Menor que
A implica B
Existe
conjunto vacío
µ
Unión
Mayor que
Tal que
sí y sólo si
U
>
<
→
ø
Ǝ
|
mu
↔
