Man sagt, dass Γ {\displaystyle {}\Gamma } Repräsentierungen erlaubt, wenn Γ {\displaystyle {}\Gamma } jede R {\displaystyle {}R} -berechenbare Relation und jede R {\displaystyle {}R} -berechenbare Funktion repräsentiert.
