CEVAP: Genel olarak herhangi B gibi bir türe ait şeylerin özdeşlik ölçütünün genel biçimi şöyledir; (3) x ile y, B türüne ait şeyler olduğunda, x ile y özdeştir ancak ve ancak x ile y, K gibi bir koşulu yerine getirirse. Bu ölçütün çeşitli metafizik kuramlarında kullanılan en yaygın biçimi Leibniz Özdeşlik Ölçütü olup, bu ölçütün Zayıf Leibniz Özdeşlik Ölçütü (ZLÖ) ve Kuvvetli Leibniz Özdeşlik Ölçütü (KLÖ) olmak üzere iki biçimdir.