## About

An algebraic data type (wiki/Algebraic_data_type) is a data type that is the input **and** the output of its own operations.

## Benefits

- An algebraic structure can be composed before being executed. This is a composite type
- An algebraic Structure allows a reasoning and manipulation independently of physical data representation.

## Example

### Number

All number are algebraic data type.

<MATH> 1 + 2 - 3 </MATH>

### Relational Table

A relation (table, view, …) is an algebraic data type because every operations on a relation output a relation.