グラフの一種と考えられる組み合わせ構造〈combinatorial structure〉があるのですが、その構造の呼び名が安定してなてく困っています。nLab項目 semi-graph に従い、ここでは「半グラフ〈semi-graph〉」という呼称を採用します。様々な著者が半グラフを定義…