The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Definable Operation
Let be any -Structure where is a Language.
Let be an -ary operation on .
Then we say that is definable by if