divisor

Deductions

• divisor is subclass of binary relation ⇐ (multiple is subclass of binary relation), (multiple is opposite of divisor)
• 3 has quality divisor ⇐ (3 is a prime number), (prime number has quality divisor)
• multiple is opposite of divisor ⇐ divisor is opposite of multiple
• prime factor has quality divisor ⇐ (prime factor is subclass of prime number), (prime number has quality divisor)