CS 240 [January 17, 2013]: O -> o in a property of order notation.