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