CatGloss
This means that $ V $ is the union of the collection of $ V_{x} $ ‘s