information:highlighting
Set theory

Logical connectives are used to define the fundamental operations of set theory, as follows:

This definition of set equality is equivalent to the axiom of extensionality.