Moc zbioru oznaczanego też wszystkich warstw lewostronnych nazywa się indeksem podgrupy względem grupy i oznacza jednym z symboli lub ; tak samo oznacza się i nazywa moc zbioru (nie mylić z różnicą zbiorów ) wszystkich warstw prawostronnych, gdyż liczby te są równe (zob. dalej). Spotyka się również odwrócone oznaczenie zbioru warstw prawostronnych, mianowicie (bywa ono stosowane jako element notacji warstw podwójnych); jest ono o tyle „bezpieczniejsze”, iż zawsze Jeżeli jest podgrupą normalną, to (zob. Normalność) i wtedy zbiór warstwA także określoną na nim grupę ilorazową. oznacza się zwykle wyłącznie za pomocą pierwszego z przytoczonych symboli, tj. jak zbiór warstw lewostronnychW przypadku grup w notacji addytywnej (zwykle przemiennych) właściwe jest mówienie o „grupach różnicowych” wraz z oznaczeniem (por. Scott, 2012); w polskiej tradycji matematycznej oznaczenia te są w gruncie rzeczy niespotykane..
Własności Jeżeli oznacza element neutralny w to warstwa lewostronna równa jest podgrupie a ta jest równa warstwie prawostronnej Wprost z definicji warstwy lewostronnej i podobnie dla warstwy prawostronnej.