Tangency along means
for every . Consequently is perpendicular to the first tangent plane exactly when it is perpendicular to the second. The ambient characterization of a geodesic therefore proves the tangency invariance of an ambient-surface geodesic: