2) If π is active, then any path co

2) If π is active, then any path contained in π must be also active, which can be written as follows:

Kết quả (Việt) 1:

2) nếu π là hoạt động, sau đó bất kỳ đường dẫn chứa trong π phải cũng hoạt động, mà có thể được viết như sau:

Kết quả (Việt) 2:

2) Nếu π đang hoạt động, sau đó bất kỳ đường dẫn chứa trong π phải còn hoạt động, trong đó có thể được viết như sau: