Relation_on_a_set loading ...