x,y,z as variables, and taking f to be an uninterpreted function, the singleton equation set { f(1,y) = f(x,2) } is a syntactic first-order unification... 70 KB (7,292 words) - 17:23, 1 April 2024 |
is a nonempty countable metric space with no isolated point, then each singleton {x}{\displaystyle \{x\}} in X{\displaystyle X} is nowhere dense, and X{\displaystyle... 10 KB (1,442 words) - 04:35, 7 February 2024 |
set. Conversely, if X{\displaystyle X} is not discrete, then there is a singleton {x}{\displaystyle \{x\}} that is not open. Hence, every open neighbourhood... 17 KB (2,870 words) - 00:32, 8 March 2024 |
the colimit of the (constant sequence of the) endomorphism. Because the singleton ({*}, *) is the terminal object of Mag, and because Mag is algebraic,... 16 KB (1,729 words) - 11:44, 12 February 2024 |
x∈X{\displaystyle x\in X} is the same as the neighbourhood filter of the singleton set {x}.{\displaystyle \{x\}.} A neighbourhood basis or local basis (or... 10 KB (1,652 words) - 21:59, 19 October 2022 |
G} — in other words, Vnc/G{\displaystyle V_{n}^{\mathbf {c} }/G} is a singleton (see also rigid group). The conjugacy classes c1,…,cn{\displaystyle c_{1}... 18 KB (2,823 words) - 03:36, 18 November 2023 |