What is the meaning of Elementary_topos?

A Cartesian closed category which has a subobject classifier.

Source: wiktionary.org