upto anti-symmetric relation