1 problem

Closed-upper-set characterization. An upper set $Z$ of $\Lambda^{\ast}$ is closed if and only if it satisfies the four rules.