Updated BinaryRelation to allow for a relation between two (different) sets