Tematem tego wykładu jest pojęcie systemu algebraicznego, które w informatyce odpowiada pojęciu struktury danych. System algebraiczny, zwany też systemem relacyjnym, to zbiór z określonymi na nim operacjami i relacjami. Systemem algebraicznym jest arytmetyka liczb naturalnych i algebra zbiorów. Inne przykłady poznamy w trakcie tego wykładu.

W tym wykładzie będziemy też mówili o podobieństwach struktur i przekształceniach zachowujących strukturę systemu. Takie przekształcenia to homomorfizmy i izomorfizmy, z którymi spotkaliśmy się już w wykładzie piątym. Na zakończenie omówimy pewną ogólną metodę konstrukcji systemu algebraicznego opartą o zasadę identyfikacji elementów równoważnych, którą już wcześniej zastosowaliśmy do konstrukcji liczb całkowitych i wymiernych (por. 5.6).