~ to be the subset of ~7- consistin

~ to be the subset of ~7- consisting of states in which some process is in F (i.e., at flip)

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

~ là tập hợp con của ~ 7-bao gồm các tiểu bang mà trong đó một số quá trình là FA (tức là, flip)

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

~ Là tập hợp con của ~ 7- bao gồm các quốc gia, trong đó một số quá trình trong F (tức là ở lật)