invariant partition