Martin's axiom and the Continuum Hypothesis are studied here using the notion of a ccc partition i.e., a partition of the form where K0 has the following properties:
(a) K0 contains subsets of its elements as well as all singletons of X.
(b) Every uncountable subset of K0 contains two elements whose union is in K0.