for L being non empty ZeroStr
for x being Element of L
for f being the carrier of b₁ -valued Function
for a being object holds Support (f +* (a,x)) c= (Support f) \/ {a}