A testable expression that is based on available evidence but is not yet proved.
» NB Math Dictionary
