:: deftheorem defines Polish-operations POLNOT_1:def 24 :
for T being Polish-language
for A being Polish-arity-function of T holds Polish-operations (T,A) = { t where t is Element of T : A . t <> 0 } ;