orthogonality, Pythagorean orthogonality, Isosceles orthogonality, inner product space, strictly convex space, Cartesian product space