定義
X を順序集合とし、f：X → X を開核写像(>>487)とする。

x ∈ X に対して f(x) を f に関する x の内部(interior)と言う。
x = f(x) のとき x を f に関する開元(open element)と言う。