效绵鼎 Write T+for the set of finite paths and T for the set of infinite paths.The mappings a and B can be extended to T+by defining oa(ti...tn)=a(t),B(ti...tn)=B(tn) o A finite path c represents a finite evolution of a TS from state a(c)to B(c) Similarly,the mapping a is extended to T by defining a(t..)=a(t), 0 A infinite path c represents an infinite evolution of a TS from state a(c)◼ Write 𝑇 + for the set of finite paths and 𝑇 𝜔 for the set of infinite paths. The mappings 𝛼 and 𝛽 can be extended to 𝑇 + by defining  𝛼 𝑡1 … 𝑡𝑛 = 𝛼 𝑡1 , 𝛽 𝑡1 … 𝑡𝑛 = 𝛽(𝑡𝑛)  A finite path 𝑐 represents a finite evolution of a TS from state 𝛼 𝑐 to 𝛽 𝑐 ◼ Similarly, the mapping 𝛼 is extended to 𝑇 𝜔 by defining 𝛼 𝑡1 … = 𝛼 𝑡1 ,  A infinite path 𝑐 represents an infinite evolution of a TS from state 𝛼 𝑐