Fixed an error in Lemma 11.4.1 definition

I'm not sure I fixed it right, but it was utter nonsense before. At worst now it's trivially true instead of trivially false.