[226]Questo dice che due insiemi \(a\) e \(b\) sono uguali quando hanno gli stessi elementi; cioè, esclude che un insieme possa avere qualche altra proprietà che lo contraddistingue 1 .