Assertion: interval algebra | /r/HasProperty | useful
Facets:
Source sentences:
text: Interval algebras are useful in the study of Lindenbaum–Tarski algebras; every countable Boolean algebra is isomorphic to an interval algebra.