anti-symmetric relation