a,∀r:r∉𝕄c⟹¬U(r,a)
This article is an abstract lump of ugly math. For a much less technical description, please see [[{{{1}}}]]. If you understand the following discussion, please consider editing it to make the article more approachable.