JGWeissman comments on My Fundamental Question About Omega

[JGWeissman]

“Has exactly specified behavior” would work.

[MrHen]

Sure, that works. How about, “(b) has explicitly defined behavior.” Does that translate okay?