- [profinite set](profinite%20set) sets, with finite families of jointly surjective maps as covers.