iden
恒等関係
全てのatomに対して、
(x,x)
というタプルを含む集合
即ち、タプル(関係)の集合
univ
と同じ要素数になる