Zbiór terminali T może zawierać wartości stare i zmienne reprezentujące wejścia lub zmienne stanu badanego systemu.
Każda funkcja w zbiorze F powinna być zdefiniowana dla każdej możliwej kombinacji argumentów.
Zbiór funkcji T i terminali T powinien być wystarczający do rozwiązania danego problemu.