ક્ષેત્ર આર માં ગુણાકાર સમૂહનો છે, એટલે કે (C એક્સ D) એક્સ એફ = C એક્સ (D એક્સ એફ) કોઈપણ C, D માટે, આર ઓફ એફ