5. Establishing equality

Just like two numbers can be equal, two propositions can be equal, two algebraic expressions can be equal, so can be two sets.