relation on a set