Assertion: filter | /r/HasProperty | introduced by henri cartan
Facets:
value: in 1937
type: TEMPORAL
Source sentences:
text: Filters were introduced by Henri Cartan in 1937 and subsequently used by Bourbaki in their book Topologie Générale as an alternative to the similar notion of a net developed in 1922 by E. H. Moore and H. L. Smith.