code: def cardinality(self):
          
          cardinality = 0
          for si in self._si_set:
              cardinality += si.cardinality
          return cardinality
docs: This is an over-approximation of the cardinality of this DSIS.
  
          :return: