Poznámka 16

Pro didaktické potřeby dalšího výkladu uvádíme zákon v částečně formalizované podobě, která ale jen fixuje jeho obvyklé znění: dva předměty M a N jsou si rovny tehdy a jen tehdy, když mají stejné vlastnosti, tj. když pro každé X platí, že X(M) tehdy a jen tehdy, když X(N).