为什么Python中的任何数字模数为负数？

Question

在Python 3中，只要x % a为负，a为负数的结果是什么？在数学中，模数通常不被认为是算子，而是平等关系的修饰语，因此，据我所知，理由不能真正来自那里。然而，也许有一些实用的原因，例如在某些编程语言中，5 % -2是-1而不是1（即使-5 % 2是1），如Python？