Warstwa – 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ęIntuicyjnie warstwa to egzemplarz danej podgrupy „przesunięty” w grupie: razem „wypełniają” całą grupę..
Każda podgrupa wyznacza dwie relacje równoważności o tej samej liczbie warstw – liczbę tę nazywa się indeksem tej podgrupy względem danej grupyPoglądowo indeks to „rozmiar” grupy względem jej ustalonej podgrupy: liczba egzemplarzy danej podgrupy, które „wypełnią” grupę.; elementy jednego podziału nazywa się warstwami lewostronnymi, zaś drugiego – prawostronnymi, co ma swoje źródło w charakteryzacji tych zbiorów (zob. Definicja i Własności). Jeżeli obie wspomniane relacje równoważności wprowadzają ten sam podział, to podgrupę wyznaczającą te relacje (ten podział) nazywa się podgrupą normalną.
Pojęcie warstwy umożliwia więc algebraiczną charakteryzację klas tych relacji równoważności, które wprowadzają w grupie podział respektujący jej strukturę;