For example, is a subset of , and so is but is not.
Najbolj znan sistem te vrste je Zermelo-Fraenklova teorija množic, ki jo je leta 1908 utemeljil Ernst Zermelo, dokončno obliko pa je dobila leta 1922 po delih Adolfa Fraenkla.