Manifold

A manifold is a is a::nonvoid is a::Hausdorff is a::topological space M and an atlas A of charts. Such that each chart φ:U → V in A is a is a::homeomorphism between an open set U subset M and an open set V subset E, where E is a real finite-dimensional is a::vector space.