ula_5是一个关系。例子：有四件物件{球，糖，车，枪}及四个人{甲，乙，丙，丁}。若甲拥有球，乙拥有糖，及丁拥有车－即无人有枪及丙一无所有－则二元关系为「……拥有……」便是其中formula_5的首项是物件的集合，次项是人的集合，而末项是由有序对（物件，主人）组成的集合。比如有序对（球，甲）以formula_5表示，代表球为甲拥有。不同的关系可以有相同的图。以下的关系中人人皆是物主，所以与formula_5不同，但两者有相同的图。话虽如此，我们很多时候索性把formula_5定义