Set theory is a branch of logic which studies collections of distinct elements, called sets. Topics include set operations (such as intersection and union), relations and mappings between sets, and the ordering of elements of sets (often through binary predicates).