順序論的な意味でのフィルターの双対概念はイデアルである.
イデアル