Maximal consistent set

Redirect to:

• Complete theory