Option spanning with exogenous information structure

Supplementing a finite state-space static securities market with options written on an injective claim obtains market completeness. This study concludes that options maintain this spanning property in the infinite state-space static securities market models of interest in the extant literature. In addition, underlyers for which options bring about market completeness are shown to be dense.