Область определения и область значения отношений: математические концепции