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