On irreflexive, forward-discrete, linear temporal orders, \(S\) and \(U\) also allow for a definition of the Next Time operator \(X\):.
確定! 回上一頁