Domain and range of relations