HomeSearchLibrary
Finitely additive set function | OmniWiki