 Incorporating half of the work into the first-order logic may be regarded as a mere matter of convenience, as noted by Lévy.In first-order logic without equality, two sets are "defined" to be equal if they contain the same elements.Then the axiom of extensionality states that two equal sets "are contained in" the same sets.