これは形式的に、ある関数fに対して、有向集合Dの像f(D)（すなわち、Dの各要素の像の集合）がやはり有向集合であって、上限としてDの上限の像をもつことを意味する。
形式的说，这意味着对于某个函数f，有向集合D的像f(D)(就是D的每个元素的像的集合)再次是有向的并且有一个最小上界，就是D的最小上界的像。