setTheoryDefinitions.pdf