2005-12-21 領域理論 数学 メモ wikipedia:en:Domain theory wikipedia:en:Complete partial order wikipedia:en:Directed set wikipedia:en:Net (topology) wikipedia:en:Sequence wikipedia:en:Glossary of order theory