for x, y being set
for F being FinSequence st F = <*x,y*> & x misses y holds
F is disjoint_valued