oraz § 5.5 w książce: . Strukturami algebraicznymi równościowo definiowalnymi są m.in.: struktura grupy (bierze się wtedy nie jedno działanie, lecz wymienione wyżej trzy, a aksjomaty zapisuje się w postaci równości), struktura grupy abelowej, struktura ciała, struktura pierścienia, struktura kraty. Struktury porządkowe, tworzone przez relacje uporządkowania, takie jak częściowy porządek. Jeśli jest zbiorem częściowo uporządkowanym, to relacja (jako podzbiór zbioru ) jest strukturą, a jest nośnikiem tej struktury. Struktura kraty może być również uważana za strukturę porządkową w której każda para , ma kres dolny i kres górny . Struktury topologiczne, których typowym przykładem jest przestrzeń topologiczna, tzn. zbiór , na których strukturą jest topologia określona jako rodzina zbiorów otwartych w . Do struktur topologicznych należy też struktura przestrzeni jednostajnej, rozdział VIII.. Struktury mieszane. Są one dwojakiego rodzaju. 1) Struktury będące połączeniem co najmniej dwóch z powyższych rodzajów struktur, np. grupa topologiczna, ciało uporządkowane. Istotne tu jest to, że wszystkie elementy danej struktury na zbiorze są utworzone z elementów tego zbioru (a także z jego podzbiorów itd.) z użyciem skończonej lub nieskończonej liczby konstrukcji w języku teorii mnogości.