Saf küme
Küme teorisinde, bir saf küme (veya kalıtsal küme), öğelerinin tümü saf kümeler olan bir kümedir. Yani, kümenin tüm öğeleri, öğelerin tüm öğeleri gibi kendileri de kümelerdir, vb. Örneğin, boş kümenin saf bir küme olduğu ve bu nedenle yalnızca boş Ø kümesini içeren {Ø} kümesinin saf bir küme olduğu tamamen doğrudur.