R(u)はアトムである
u[Ai] θ v(Bj)はアトムである
θは比較演算子
=,<,>,≤,≥,≠
履修[科目番号]=科目[科目番号]
学生[学籍番号]=12339
u[Ai] θ cはアトムである