Minoration
(
n.
) A diminution.