Re: Names for top and bottom properties

On Mittwoch, 30. April 2008, Conrad Bock wrote:
> Ian,
>
> UniversalProperty and NullProperty.
>
> Conrad

"UniversalProperty" sounds nice, "NullProperty" not really, and the obvious 
relatedness/symmetry is lost. Given that there is no good opposite 
of "universal", I would also vote for "TopProperty" and "BottomProperty".

Markus

-- 
Markus Krötzsch
Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362          fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de          www  http://korrekt.org

Received on Wednesday, 30 April 2008 13:58:33 UTC