Relationships between various basic mathematical structures. The arrows generally indicate addition of new symbols and/or axioms. Arrows that meet indicate the combination of structures. For instance, an algebra is a vector space that is also a ring, and a Lie group is a group that is also a manifold.