noun
(mathematics) A contravariant expressing a certain condition of tangency; a differential invariant.