Monoids and Submonoids | Algebraic systems | KopHub — KopHub