)多元環は、2つの環と、各環の1つずつの元から第二の環の元を得る演算からなる。