Assertion: knowledge space | /r/HasProperty | represented by a quasi-order
Facets:
Source sentences:
text: ; Birkhoff's representation theorem for distributive lattices shows that there is a one-to-one correspondence between the set of all quasiorders on Q and the set of all quasi-ordinal knowledge spaces on Q. I.e., each quasi-ordinal knowledge space can be represented by a quasi-order and vice versa.