Delta is nonempty linear orderings.

Formerly, Delta was all linear orderings. Easily changed.