En la categoría usual de los conjuntos, éste es el conjunto de dos elementos de valores de verdad booleanos, verdadero y falso.