a path of the system T on the interval T is a function T for which there exists some T such that T is a trajectory on T for T.
if T is a path and T has the form T or T, then T is the initial state of the path
if Y has the form Y or Y, then Y is the terminal state of the path