Definition:Disk/Radius

Definition
Let $\map B {a, r}$ be a disk.

The radius of $\map B {a, r}$ is the parameter $r$.