Description: The definition of projector ordering in Halmos p. 42 is equivalent to the definition of projector ordering in Beran p. 110. (We will usually express projector ordering with the even simpler equivalent G C_ H ; see pjssposi ). (Contributed by NM, 2-Jun-2006) (New usage is discouraged.)