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