I do understand what you mean but what's tricky here is thatAX > B is not equivalent to X > A^-1 * B even if A is PD. Since a > b , c > d => a + c > b + d but not vice versa.