∀ {X : Type u_1} [inst : UniformSpace X] {ι : Sort u_2} {p : ι → Prop} {s : ι → SetRel X X},
  (uniformity X).HasBasis p s →
    ∀ (T : X → X) (F : Set X), Dynamics.coverEntropy T F = ⨆ i, ⨆ (_ : p i), Dynamics.coverEntropyEntourage T F (s i)