Definition. compatible chart [0098]

Let be a smooth atlas of some set . We call a map compatible with if is again a smooth atlas of