module My.SetTheory.Relation where

-- §──────────────────────────────────────────────────────────────────
-- Required modules
-- §──────────────────────────────────────────────────────────────────

import My.SetTheory.Relation.Decidable as MySTRD
import My.SetTheory.Relation.Trichotomy as MySTRT

open MySTRD public
open MySTRT public