for X being set
for B being V107() FinSequence of bool X
for a, b, c being object st a in B . b & a in B . c holds
( b = c & b in dom B )