let P be a_partition of the carrier of R; :: thesis: P is StableSet-wise
let x be set ; :: according to DILWORTH:def 12 :: thesis: ( x in P implies x is StableSet of R )
thus ( x in P implies x is StableSet of R ) ; :: thesis: verum