Premise: on a closed set of constructs or data elements.

Hypothesis: There is a closed set of constructs.
Relation: entailment