Noun
domain theory (uncountable) (mathematics) A branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains.