함수형 프로그래밍
도메인 이론()은 수학에서 특별한 종류의 일반적으로 도메인이라 불리는 부분순서에 대하여 연구하는 분야이다. 따라서, 도메인 이론은 순서론의 한 분야라고 생각할 수 있다. 이 분야는 컴퓨터 과학에서 표기 의미론을 특정지을 때 사용되며, 특히 함수형 프로그래밍 언어의 연구에서 주로 사용된다.