In set theory, Cichoń's diagram or Cichon's diagram is a table of 10 infinite cardinal numbers related to the set theory of the reals displaying the provable relations between these cardinal characteristics of the continuum. All these cardinals are greater than or equal to , the smallest uncountable cardinal, and they are bounded above by , the cardinality of the continuum. Four cardinals describe properties of the ideal of sets of measure zero; four more describe the corresponding properties of the ideal of meager sets (first category sets).
Let I be an ideal of a fixed infinite set X, containing all finite subsets of X. We define the following "cardinal coefficients" of I: