Added set theory definitions.