Definition:Birkhoff Orthogonality