Definition:Labeled Tree for Propositional Logic/Hypothesis Set

Definition
A hypothesis set is a countable set of WFFs of propositional calculus.

This set $\mathbf H$, in the context of propositional tableaus, is considered to be attached to the root node.

$\mathbf H$ is also called the set of premises.