Cantor's definition turned out to be inadequate for formal mathematics; instead, the notion of a "set" is taken as an undefined primitive in axiomatic set theory, and its properties are defined by the Zermelo–Fraenkel axioms. The most basic properties are that a set has elements, and that two sets are equal (one and the same) if and only if every element of each set is an element of the other.