relations, map e inverse