antiextensive

Adjective

 * 1)  Of an operation in morphology: such that $$A\circ B\subseteq A$$.