|
\abbreviation{} |
|
\abbreviation{Qoset} |
|
A preordered set (also called a quasi-ordered set or qoset for short) is a structure $\mathbf{P}=\left\langle P,\preceq \right\rangle $ such that $P$ is a set and $\preceq $ is a binary relation on $P$ that is |
|
A preordered set (also called a quasi-ordered set or qoset for short) is a structure $\mathbf{P}=\langle P,\preceq\rangle$ such that $P$ is a set and $\preceq $ is a binary relation on $P$ that is |