This category is for the foundational concepts of naive set theory, in terms of which contemporary mathematics is typically expressed.