theorem Th89: :: HILB10_7:89

for X being set
for D being non empty set
for B being BinOp of D
for f being FinSequence of D holds SignGen (f,B,X) = SignGen (f,B,(X /\ (dom f)))