域 (Domain):值的集合。

笛卡尔积 (Cartesian Product):两个集合的所有有序对的集合。

关系 (Relation):笛卡尔积的子集,满足某些约束条件。