w matematyce: zbiór z operacją dwuargumentową, przemienną, łączną i idempotentną