Assertion: set | /r/HasProperty | identified with their indicator function
Facets:
value: in type theory
type: OTHER
value: generally
type: MANNER
Source sentences:
text: In type theory, sets are generally identified with their indicator function (characteristic function): accordingly, a set of values of type A {\displaystyle A} may be denoted by 2 A {\displaystyle 2^{A}} or P ( A ) {\displaystyle {\mathcal {P}}(A)} .