2008-05-17 二項演算 study math 空でない集合S上の二項演算*とは,S×SからSへの関数であって,*はSの元の任意の順序対をSの元へと写します.つまり * : S × S -> S です.