typo definition

Author: jmougeot

src/Relation/Binary/Domain/Definitions.agda

@@ -21,7 +21,6 @@ private
 
 ------------------------------------------------------------------------
 -- Directed families
-------------------------------------------------------------------------
 
 IsSemidirectedFamily : (P : Poset c ℓ₁ ℓ₂) → ∀ {Ix : Set c} → (s : Ix → Poset.Carrier P) → Set _
 IsSemidirectedFamily P {Ix} s = ∀ i j → ∃[ k ] (Poset._≤_ P (s i) (s k) × Poset._≤_ P (s j) (s k))