for S being Language
for U being non empty set
for I being b₁,b₂ -interpreter-like Function holds I | (OwnSymbolsOf S) in U -InterpretersOf S