‏‏يجب اشتمال أية عملية مرحلية إما على اختبار عقد أو على تعبير جبري (في حالة التكملة) والذي سيتم مقارنته بكل عقدة في مجموعة العقد المعرفة من خلال مجموعة العقد السابقة التي يمكن تقييمها.

A step operation must involve either a node test or, in the case of a predicate, an algebraic expression against which to test each node in the node set identified by the preceeding node set can be evaluated.