Grupę, która wiąże się z innej grupy tak, że ich właściwości oraz właściwości grupy i pola, które zawierają zawsze odpowiadać. Po zmianie właściwości jednej grupy inne grupy jest aktualizowany automatycznie.