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