Characterisation of quadratic spaces over the Hilbert field by means of the orthogonality relation
{{output}}
An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space H, we may associate the orthoset ( P ( H ) , ⊥ ) , consisting of the set of one-dimensional subspaces of H and the usual orthogonality re... ...
