Def/Antisymmetric relation



=Metadata=