BALL

> is a
> ↑ ... is defined by
> ? (implication)