function such that the preimage of an open set is open
Nothing in the MetaHistoryBook collection references this item yet.