open import Relation.Binary

module Algebra.MatrixData.Relation.Setoid
  {a ℓ} (S : Setoid a ℓ) where

open import Algebra.MatrixData.Relation.Setoid.Base S public