The fundamental properties are that a set can consist of elements and that two sets are equal, if and only if every element of each set is an element of the other; this property is referred to as the extensionality of sets.