אלגברה, פרק 13: תחום וטווח של יחסים בינריים