A dyadic interval coalgebra is a type with a strict order , terms , , and , functions and , identities , , , , inequality , and terms
This is called simply an interval coalgebra by Peter Freyd, however there exist similarly defined interval coalgebras with terms and zooming operations.