[EN] In the realm of semiuniform convergence spaces first countability is divisible and leads to a well-behaved topological construct with natural function spaces and one-point extensions such that countable products of ...