Relation on a set