higher bound a in
closure
✕
___
of
less
a
and
is
bound
in
or
↺ Reset