Ponekad se zapisujeA⊂B umjestoA⊆B da bi označili da jeA podskup odB. Slično, ponekad se pišeA⊃B da bi označili da jeA nadskup odB. Po ovoj konvenciji, ako je sve što znamo da jeA⊂B, još uvijek je moguće da suA iB jednaki skupovi.
Nekad se simboli ⊂ i ⊃ koriste da označeprave podskupove ili nadskupove umjesto i. Ovo korištenje čini simbole ⊆ i ⊂ analogne simbolima ≤ i <. Na primjer, akox≤y ondax može biti jednakoy, ali ne mora, ali ako jex<y, ondax sigurno nije jednakoy, već je strogo manje ody. Slično, ako se uzme da ⊂ znači pravi podskup, onda akoA⊆B, slijedi daA može ali ne mora biti jednakoB, ali akoA⊂B, ondaA sigurno nije jednakoB.
Svaki skup je podskup samog sebe, ali nije pravi podskup samog sebe.
Prazan skup, u oznaci ∅, je također podskup svakog danog skupaX. Prazan skup je uvijek pravi podskup, osim sebi samom.
Skup {x:x jeprost broj veći od 2000} je pravi podskup skupa {x:x je neparan broj veći od 1000}
Skupprirodnih brojeva je pravi podskup skuparacionalnih brojeva, a skup točaka na dužini je pravi podskup skupa točaka na pravcu na kojem ta dužina leži. Ovo su kontraintuitivni primjeri kod kojih su i dio i cjelina beskonačni, i dio ima isti broj elemenata kao cjelina.
