Assertion: set | /r/HasProperty | denoted by 2 a
Facets:
value: accordingly
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)} .