Look at the version in the comment posted by joshma: http://courses.csail.mit.edu/6.042/spring12/mcsfull.pdf

You must not have been the only person to notice this. The definition is on pg 6 in the pdf above.