Assertion: algorithm's set | /r/AtLocation | closed set
Facets:
Source sentences:
text: open set, i.e., those that remain to be explored, and the filled ones are in the closed set.