is mentioned by

Thm* C:(ICollection(T)), x:T. x i:I. C(i) (i:I. x C(i))

[member_col_union]

Try larger context: GenAutomata