At this Website, I have proposed transitive closure as the defining transformation for ordinology.

I argue that transitive closure is the most important process in computer science, dealing with its primary concerns of information and control.

I therefore argue that ordinology is the primary mathematics for the field of computer science. And I argue that efforts to develop ordinology can pay off big in computer science.