I'm not sure why you find that Sokal-style. Unfamiliar terminology aside, it's clear and unambiguous -- you could directly rewrite it as a mathematical definition, for example.