Tematy poruszane w tym wykładzie należą do działu matematyki zwanego algebrą uniwersalną albo algebrą abstrakcyjną. Jednak związek przedstawionych tu pojęć ze strukturami danych (tzn. z praktyką programowania) jest tak bliski, że uważamy je za niezbędny element podstawowego wykształcenia informatyka.

Najważniejszym pojęciem, o którym była mowa w tym wykładzie, jest pojęcie izomorfizmu struktur algebraicznych oraz metoda konstrukcji algebry ilorazowej.

Materiał przedstawiony w tym wykładzie znajdzie Czytelnik w podręczniku akademickim "Wstęp do Matematyki Współczesnej", H. Rasiowej, z którego i my korzystaliśmy przy przygotowywaniu tego wykładu. Nieco obszerniejszą lekturę uzupełniającą stanowić mogą książki P.M. Cohn, "Algebra uniwersalna" lub G. Birkhoff i S. MacLane, "Przegląd algebry współczesnej".