# The SET signature

## Overview

 functor MkTreapTable 

A set $S$ is a finite collection of unique elements of some type and the size of $S$, denoted by $|S|$, is the number of elements in that set. The crucial difference between a set in the mathematical sense and a set in this library is that a set here is always ordered implicitly for enumeration purposes. The empty set is denoted by $\emptyset$.