Assertion: set's element | /r/HasProperty | reinvented in one-point compactification
Facets:
value: in theoretical computer science
type: LOCATION
value: many times
type: TEMPORAL
Source sentences:
text: One textbook notes that "This formal completion of sets and partial maps by adding “improper,” “infinite” elements was reinvented many times, in particular, in topology (one-point compactification) and in theoretical computer science.