for L being non trivial Polish-language
for E being Polish-arity-function of L
for t being Element of L holds Polish-operation (L,E,t) is one-to-one