Adjective
antiextensive (not comparable) (mathematics) Of an operation in morphology: such that A ∘ B ⊆ A {\displaystyle A\circ B\subseteq A} .