Assertion: logic's power | /r/CapableOf | set ℘ of γ
Facets:
Source sentences:
text: The power set ℘ of Γ endowed with set theoretical operations: intersection (∩), union (∪) and set-complement gives rise to a Boolean algebra.