Assertion: power set | /r/CapableOf | form boolean ring
Facets:
Source sentences:
text: It can hence be shown (by proving the distributive laws) that the power set considered together with both of these operations forms a Boolean ring.