User blog comment:Ubersketch/CNF in my FSS definition/@comment-35470197-20190808221731

It does not satisfy your definition, because F is not a set of functions on O, but a set of formal strings. (If you regard it as a set of functions, then it is circular logic because you define O using F.)