algebra.properSubset(a, b)
  
  Returns true if A is a strict subset of B (A ⊂ B).
algebra.properSubset({type: "critical"}, {}) //-> true
algebra.properSubset({}, {}) //-> false
  
  
    Parameters
      
        
          - a 
{Set}: A set.
 
        
          - b 
{Set}: A set.
 
        
      
   
  
  
  
    Returns
      {Boolean}: 
true if a is a subset of b and not equal to b.