Duden Das große Fremdwörterbuch
Diminutor
Di|mi|nu|tor der; -s, -en
lat. di-, deminutio »das Vermindern, Verringern, Schmälern« u. ↑...or>
svw. ↑Subtrahend
Di|mi|nu|tor der; -s, -en
svw. ↑Subtrahend