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. [Gardeil]