w matematyce, w teorii grup: podzbiór danej grupy będący jednym z równolicznych elementów jej podziału wyznaczonego przez ustaloną podgrupę, czyli klasa równoważności pewnej relacji równoważności związanej ze wspomnianą podgrupą; jako klasy ustalonej równoważności są one rozłączne, niepuste i wyczerpują całą grupę.

jedno z podstawowych pojęć matematycznych, zbiór w sensie matematycznym i logicznym.