#divisor.integer__factor  one of two or more integers that can be exactly divided into another integer; "what are the 4 factors of 6?"
  supertype:  integer__whole_number__wholenumber  any of the natural numbers (positive or negative) or zero
  subtype:  prime_factor__primefactor  the prime factors of a quantity are all of the prime quantities that will exactly divide the given quantity
  subtype:  equivalent-binary-digit_factor  the average number of binary digits needed to express one radix digit in a non-binary numeration system; on the average a number that can be expressed in N decimal digits takes 3.3N binary digits
  subtype:  common_divisor__common_factor__common_measure  an integer that divides two (or more) other integers evenly
     subtype:  greatest_common_divisor__greatest_common_factor__highest_common_factor  the largest integer that divides without remainder into a set of integers

No statement uses or specializes divisor.integer; click here to add one.