Bütün öğeleri belli bir kümenin öğeleri olan küme. ||K kümesinin, L gibi bir kümenin altküme'si olması, K nın her öğesinin L nin de öğesi olması demektir: (?)

(Alm. Teilmenge, f; Fr. sous-ensemble, m; İng. subset) 

mat. Bir A kümesi için bütün ögeleri A’ya ait olan B kümesi.

Bir kümeyi oluşturan bireylerin aralarındaki kısa çevrimli ilişkilerin yarattığı alt bağlaşmaların her biri.

X kümesi için (?) olduğunda (?)olmasını gerektiren A kümesi. Simgesi : (?)