[‚sep·ə¦rā·shən əvthə ′first ‚kīnd] (mathematics) A division of an ordered set into two classes in which each member of one class is greater than every member of the other, and there exists a separating element that belongs to one class or the other.