theorem Th106: :: HILB10_7:106

for D being non empty set
for A being BinOp of D
for f being FinSequence of D
for F being finite set
for E being Enumeration of F holds doms ((SignGenOp (f,A,F)) * E) = doms ((len f),(card F))