Wiktionary
subset classifier
n. 1 (context mathematics English) A set which serves as the codomain of a characteristic function. 2 (context category theory uncountable English) The subobject classifier restricted to the category '''Set'''.