Kleene, uzávěrové vlastnosti
Completion requirements
Grading method: Highest grade