剰余環の定義と構造論理