Leibnitz's law

noun

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