関係

• k個組の集合、$A\times \cdots \times A$ が定義域である述語を 関係 という