定義
X を順序集合とし、f：X → X を閉包写像(>>485)とする。

x ∈ X に対して f(x) を x の f に関する閉包(closure)と言う。
x = f(x) のとき x を f に関する閉元(closed element)と言う。