Definition 9 (e.g., [1]}) 

A total concept class \(\overline{\mathcal {H}} \subseteq [k]^\mathcal {X}\)  is a special type of partial concept class
such that every \(h \in \overline{\mathcal {H}}\)  has range \(\lbrace 0,1,...,k\rbrace \) , i.e., is a total concept. A total concept class \(\overline{\mathcal {H}}\) 
is said to disambiguate a partial concept class \(\mathcal {H}\subseteq \lbrace 0,1,...,k,\star \rbrace ^\mathcal {X}\)  if every finite data sequence \(S \in (\mathcal {X}\times [k])^*\) 
realizable with respect to \(\mathcal {H}\)  is also realizable with respect to \(\overline{\mathcal {H}}\) . In this case, \(\overline{\mathcal {H}}\)  is called a disambiguation of \(\mathcal {H}\) .

