User:Dfeuer/thought

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

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