Def/Antisymmetric relation 1