"Writing is nothing more than a guided dream."

Home
Blog
Notes
CV
BlogRoll

Partial Order

A Relation \(R\) is said to be a reflexive partial order if its reflexive, antisymmetric, and transitive.

References:

Built with Orgmode, Emacs and Nix, source code availiable here.