leibnitz's law

noun logic philosophy

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