:: NUMERALS semantic presentation
omega
is
set
{}
is
set