The complete dimension theory of partially ordered systems with equivalence and orthogonality