 It also enables a recursive, fixed point definition of \(G\) (FP\(_G\)), and, on the ordering of the natural numbers, the operators \(X\) and \(G\) satisfy an induction principle (IND). Assuming that the temporal precedence relation \(\prec\) is reflexive, which is a standard assumption in computer science, we get the following definitions: