1
1
------------------------------------------------------------------------
2
4
-- Some algebraic structures (not packed up with sets, operations,
4
6
------------------------------------------------------------------------
8
8
open import Relation.Binary
10
10
module Algebra.Structures where