Preorder

Last updated Nov 1, 2022

Let $P$ be a Set and let $R$ be a Preorder Relation on $P$. Then $(P, R)$ is a Preorder.