Tychonoff spaceIn topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space refers to any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff (i.e. not Hausdorff). Tychonoff spaces are named after Andrey Nikolayevich Tychonoff, whose Russian name (Тихонов) is variously rendered as "Tychonov", "Tikhonov", "Tihonov", "Tichonov", etc.
SubbaseIn topology, a subbase (or subbasis, prebase, prebasis) for a topological space with topology is a subcollection of that generates in the sense that is the smallest topology containing as open sets. A slightly different definition is used by some authors, and there are other useful equivalent formulations of the definition; these are discussed below.
Filter (set theory)In mathematics, a filter on a set is a family of subsets such that: and if and , then If , and , then A filter on a set may be thought of as representing a "collection of large subsets", one intuitive example being the neighborhood filter. Filters appear in order theory, model theory, and set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal.