半順序
関係
の一種
<
>
という関係がある良い性質(「順序」らしい性質)を満たすときその関係は半順序関係であるという
=
を許すもの(広義半順序)と許さないもの(狭義半順序)がある
性質
具体例
gitの2つのコミットA, Bについて、「AはBの先祖である」とき「A<B」と定める関係
その他
DAG(有向非巡回グラフ)
は
ハッセ図
で表すことができる