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

Hypothesis: There is an open set of constructs.
Relation: contradiction