for f being FinSequence of NAT st f <> {} holds
UAStr(# {{}},(TrivialOps f) #) is strict Universal_Algebra