M ⊂ P − множество M является подмножеством P.

F ⊂ K, а E ⊄ K − множество F является подмножеством K, а множество E не является подмножеством K.

A ⊂ C и B ⊂ C − множество A и множество B являются подмножествами множества C.

S ⊂ D и T ⊂ D − множество S и множество T являются подмножествами D.