Definition:Parametric Operator
From ProofWiki
Definition
A parametric operator $\Omega$ with parameter $\alpha$ in the parameter set $\mathrm A$ is an indexed family of operators $(\Omega_{\alpha})_{\mathrm A} = \{\Omega_\alpha : \alpha \in \mathrm A\}$ with index $\alpha$ in the index set $\mathrm A$.
Rewrite in a more accessible form.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
