Diminutio (1879)

Diminutio (lat.), Verkleinerung, Verminderung. [Riewe Handwörterbuch 1879, 75]