---
layout: default
title : "Setoid.Functions module (Agda Universal Algebra Library)"
date : "2021-09-08"
author: "the agda-algebras development team"
---

## Setoid Functions

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


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

module Setoid.Functions where

open import Setoid.Functions.Basic       public
open import Setoid.Functions.Bijective   public
open import Setoid.Functions.Injective   public
open import Setoid.Functions.Inverses    public
open import Setoid.Functions.Surjective  public
```