Tychonoffrom
Tychonoffrom is a hypothetical concept in topology introduced to generalize the role of function separation in product-compactness phenomena. It describes a topological space together with a chosen family of real-valued continuous functions that control how separation and compactness interact across product constructions.
Formally, a Tychonoffrom space is a pair (X, F) where X is a completely regular Hausdorff space
Relation to standard concepts: If X is compact and F separates points from closed sets, then e_F(X)
Products and stability: For a family {(X_i, F_i)} of Tychonoffrom spaces, one can form a product X
See also: Tychonoff theorem, completely regular spaces, product topology, compactness, C(X, R).