Revision as of 18:23, 15 August 2017 edit 165.120.183.175 (talk) →Introductory example ← Previous edit		Revision as of 18:24, 15 August 2017 edit undo 165.120.183.175 (talk) →Introductory example Next edit →
Line 12: \end{cases}</math> (Here we interpret 1 as true and 0 as false.) The role of the characteristic function is to determine which elements belong to the subset ''A''. In ~~facts~~fact, χ<sub>''A''</sub> is true precisely on the elements of ''A''. In this way, the collection of all subsets of ''S'', denoted by '''''P'''''(''S''), and the collection of all maps from ''S'' to Ω = {0,1}, denoted by Ω<sup>''S''</sup>, are [[isomorphic]].

Subobject classifier: Difference between revisions