Assertion list for term "the algebra of sets".
Results from Ascent++: 1
boolean algebra → IsA → the algebra of sets 0.25