∀ {X : Type u_1} [inst : UniformSpace X] {ι : Type u_2} {p : ι → Prop} {s : ι → SetRel X X},
  (uniformity X).HasBasis p s → (∀ (i : ι), p i → (s i).IsSymm) → (∀ (i : ι), p i → (s i).IsTrans) → IsUltraUniformity X