for X being set
for R being asymmetric Relation of X holds R * R misses id X