São as condições às quais deve se submeter uma definição para ser correta.
A. A definição não deve conter o definido.
B. A definição deve ser convertível ao definido, quer dizer, convir a todo o definido e só ao definido.
