Jest to teoria będąca subdziedziną ATP. Wprowadza nowe pojęcia pierwotne, w postaci relacji oraz nowe aksjomaty.
Definicja
Jeżeli relacje między obiektami należącymi do zbioru
są takie same jak relacje między obiektami należącymi do zbioru , wówczas nazywamy je równymi.
Możemy wówczas napisać:
Jeżeli w danym rozważaniu/badaniu jest powyższe wyrażenie spełnione, wówczas:
Jeżeli zaś nie jest ono spełnione, wówczas rozpatrywane relacje nie są równe, co zapisujemy:
Wprowadza ona pojęcie informacji oraz kodu. Najkrócej można to opisać jako: