Chart

Set

context $\langle M,T_X\rangle$ … second-countable Hausdorff space
context $n\in \mathbb N$
let $\langle \mathbb R^n,T_{\mathbb R^n}\rangle$ … Euclidean topology
definiendum $\langle U,\phi\rangle\in$ it
inclusion $U\in T_M$
exists $U_{\mathbb R^n}\in T_{\mathbb R^n}$
inclusion $\phi:U\to U_{\mathbb R^n}$
inclusion $\phi$ … homeomorphism

Discussion

The charts on $M$ are the homeomorphism into $\mathbb R^n$.

Parents

Context

Second-countable Hausdorff space

Context*

Natural number

Requirements

Euclidean topology

Subset of

Homeomorphism