A note on the cardinality of definable families of sets in o‐minimal structures

Abstract We prove that any definable family of subsets of a definable infinite set in an o‐minimal structure has cardinality at most . We derive some consequences in terms of counting definable types and existence of definable topological spaces.