User:Dfeuer/thought

From ProofWiki
Jump to: navigation, search

$\href {http://proofwiki.org/wiki/Up-Set/Element}{ {\uparrow} }a$

$\href {http://proofwiki.org/wiki/Upper Closure}{ {\uparrow} }T$