Yoshiya@kt3k・Nov 9, 2024, 3:27 PMThere are 2 monoids of order 2. One is the cyclic group ℤ/2ℤ. The other one is monoid with ({true, false}, &), which I think probably should be named "boolean monoid"
