---
layout: default
title : "Setoid.Subalgebras module (The Agda Universal Algebra Library)"
date : "2021-07-26"
author: "agda-algebras development team"
---

### Subalgebras over setoids

This is the [Setoid.Subalgebras][] module of the [Agda Universal Algebra Library][].


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

open import Overture using (𝓞 ; 𝓥 ; Signature)

module Setoid.Subalgebras {𝑆 : Signature 𝓞 𝓥} where

open import Setoid.Subalgebras.Basic {𝑆 = 𝑆} public
open import Setoid.Subalgebras.CompleteLattice {𝑆 = 𝑆} public
open import Setoid.Subalgebras.Properties {𝑆 = 𝑆} public
open import Setoid.Subalgebras.Subuniverses {𝑆 = 𝑆} public
open import Setoid.Subalgebras.Subdirect {𝑆 = 𝑆} public
```