A quantity that evenly divides another quantity.
Unless otherwise stated, use of this term implies that the quantities involved are integers. (For non-integers, the more general term factor
may be more appropriate.)
Example: 3 is a divisor of 15. Example: 3 is not a divisor of 14.