Changes

Line 3,051: Line 3,051:     
<p><math>\underline{X}^{!\!\to} = (\underline{X} ~!\!\!\to \mathbb{B}) = \{ f : \underline{X} ~!\!\!\to \mathbb{B} \}.\!</math></p></li>
 
<p><math>\underline{X}^{!\!\to} = (\underline{X} ~!\!\!\to \mathbb{B}) = \{ f : \underline{X} ~!\!\!\to \mathbb{B} \}.\!</math></p></li>
 +
 +
<li>
 +
<p>The set of ''positive functions'' <math>f : \underline{X} \to \mathbb{B}\!</math> has a cardinality of <math>2^n\!</math> and is notated as follows:
 +
 +
<p><math>\underline{X}^{\otimes\!\to} = (\underline{X} ~\otimes\!\!\to \mathbb{B}) = \{ f : \underline{X} ~\otimes\!\!\to \mathbb{B} \}.\!</math></p></li>
    
</ol></ol>
 
</ol></ol>
    
<pre>
 
<pre>
  −
d. The set of positive functions f : X >B has a cardinality of 2n and is notated as follows:
  −
  −
X@> =  (X @> B)  =  {f : X @> B}
      
e. The set of coordinate functions, also referred to as "basic" or "simple" functions", has a cardinality of n and is denoted in the following ways:
 
e. The set of coordinate functions, also referred to as "basic" or "simple" functions", has a cardinality of n and is denoted in the following ways:
12,080

edits