theorem :: UNIFORM2:17

for X being non empty set
for cB being empty Subset-Family of [:X,X:] holds not cB is axiom_UP1