partially ordered set

前順序集合から同型を取り除いたもの

a\neq bについて、aからbへの射a\leq bが存在するならば、逆は存在しない