for x being object holds <*x*> is disjoint_valued FinSequence