This image should contain a wider category called Measurable Spaces. A measurable space is a set equipped with a σ-algebra. Every topological space is a measurable space, since it can be equipped with the Borel σ-algebra. Not every measurable space is a topological space; here is a reference. --Hierarchivist (talk) 04:37, 7 March 2013 (UTC)
