generalized filter space

analysis (differential/integral calculus, functional analysis, topology) metric space, normed vector space open ball, open subset, neighbourhood convergence, limit of a sequence compactness, sequential compactness … … A generalisation of various kinds of spaces equipped with a relation between its elements and its filters, such as filter spaces, convergence spaces, and cluster spaces. 情報量皆無のハゲ. WARNING: “Generalised filter space” is a placeholder name for a concept which may or may not have...