Leibnitz's law


noun logic philosophy

the principle that two expressions satisfy exactly the same predicates if and only if they both refer to the same subject
the weaker principle that if a=b whatever is true of a is true of b