This is a differential manifold with a Finsler metric, that is, a Banach norm defined on each tangent space.
Ini adalah lipatan diferensial dengan suatu metrik Finsler, yaitu norma Banach yang terdefinisi pada tiap-tiap ruang tangen.