二項関係
binary relation
関係代数
(数学)
合流性
(項書き換え系)
三項関係
順序集合論
ハッセ図
隣接構造
Logic of relatives