Scope and the inference that needs justification

This definition makes precise one natural meaning of a “Bogoliubov completion of X-F”. Its failure does not exclude a weaker prescription assigning selected polynomial symbols to an algebra, or a new density-switched theory.