Descripción:
Sea C un conjunto, D (C) el conjunto de las partes de C que tienen dos elementos, L1 (C) el conjunto de los elementos de la forma {C1, Ci} donde C1 e: C y C2 e: C. Se postula la existencia de una aplicación I' de D (C) en L1 (C) que verifica los siguientes axiomas (para expresar que el correspondiente de {a, b} a, b € C en I' es {C1, C2} se escribirá s (ab) en vez de C1 y s (ab) en vez C2):
AXIOMA l. Para cada {a, b} € D (C), si {s (ab), s (ab)} E L1 (C)
I' ( {a, b}) = {s (ab), s (ab)} =>- s (ab) u s (ab) = C
y s (ab) n s (ab) = {a, b}...