n. a non-logical constant, a primitive member of some axiomatically defined structure. For example, points and lines are undefined elements in axiomatic geometry, and `∈' is an undefined predicate in set theory.