(?)üzerindeki dürev işlemi olmak üzere, her için (?)eşitliğini gerçekleyen bir düzgeyle donatılmış E dürevli cebiri.