定義
X と Y を順序集合とする。
f：X → Y を写像とする。
X のイデアル(>>527) I に対して sup I が存在するとき
常に sup f(I) が存在し、f(sup I) = sup f(I) となるとき
f はイデアルの上限を保存すると言う。