க்குள் nonempty disjoint அமைக்கும் என்று முழுமையாக செட் கவர் குழுவின் ஒரு பிரிவு. வேறு வார்த்தைகளில் ஒரு பகுதிப்பிரிப்பில் P S குழுவின் என்பது உபகுழுக்களை காண்பித்து கொண்டு பின்வரும் குணங்கள்:

• ∀ s _நான் ∈ P, s _நான் ≠ ø