On Urysohn's Lemma for generalized topological spaces in ZF

Jacek Hejduk, Eliza Wajch

A strong generalized topological space is an ordered pair $\mathbf{X}=⟨X,\mathcal{T}⟩$ such that $X$ is a set and $\mathcal{T}$ is a collection of subsets of $X$ such…