Seja D um conjunto de pontos da reta. Sejam K, F e L categorias possíveis para classificar D. Uma expressão que equivale logicamente à afirmação "D é K se e somente se D é F e D é L" é: