UC ∪ CU es disjunta de F.