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