Assertion: algebra's element | /r/AtLocation | the ultrafilter
Facets:
value: if and only
type: MANNER
Source sentences:
text: To do this we first observe that the atoms of a finite Boolean algebra correspond to its ultrafilters and that an atom is below an element of a finite Boolean algebra if and only if that element is contained in the ultrafilter corresponding to the atom.