Seja D um conjunto de pontos da reta. Sejam K, F e L cat...

Se D é F ou D é L, então D é K e, se D não é K, então D não é F e D não é L.

Se D é F e D é L, então D é K e, se D não é K, então D não é F ou D não é L.

Se D é K, então D é F e D é L e, se D não é K, então D não é F ou D não é L.

D é K se e somente se D é F ou D é L.

D não é F e D não é L se e somente se D não é K.