Pが半順序集合であることを証明せよ。 Prove that P is a poset. - Tatoeba例文
有向集合は反対称である必要はなく、従って一般には半順序ではない。 Note that directed sets need not be antisymmetric and therefore in general are not partial orders.
- コンピューター用語辞典
ある半順序集合Lは、Lのすべての部分集合Hが最小上界と最大下界を持つ場合完全格子である。 A partially ordered set L is a complete lattice if every subset H of L has a least upper bound and a greatest lower bound.
- コンピューター用語辞典
計画がタイムラインの集合として形成された複数のタイムラインの形式で作成される環境における変数を表す、オンライン半順序プランニングシステムおよび方法を提供する。 To provide an on-line partial order planning system and method that represent variables in an environment for which a plan is being developed in the form of a plurality of timelines formed as a set of timelines. - 特許庁