(∀)x∈C
(∀)x∈C

(∀)x∈C