Herron, D. A. Constructing Uniform Spaces. Ann. Fenn. Math. 2022, 47, 1053-1064.