---
layout: default
title : "Demos.GeneralOperationsAndRelations module"
date : "2022-04-27"
author: "the agda-algebras development team"
---

### General Operations and Relations

+  [Signatures][Overture.Signatures]

+  [Operations][Overture.Operations]

+  [Relations][Legacy.Base.Relations]

   +  [Discrete Relations][Legacy.Base.Relations.Discrete]

   +  [Continuous Relations][Legacy.Base.Relations.Continuous]

+  [Containers][]



<!--
```agda
{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Demos.GeneralOperationsAndRelations where
```
-->