CS 240 [January 17, 2013]: clarified meaning of order notation property.