領域理論

データの集まりを、領域とよばれる適切な順序構造として、データを処理するプログラムを領域の間の連続な関数として捉える理論。