theorem :: C0SP3:53

for X being ZeroStr
for f being the carrier of b₁ -valued Function holds support f c= dom f by Def10;