code: def empty_trivial(cls, ops, kwargs):
      
      from qnet.algebra.core.hilbert_space_algebra import TrivialSpace
      if len(ops) == 0:
          return TrivialSpace
      else:
          return ops, kwargs
docs: A ProductSpace of zero Hilbert spaces should yield the TrivialSpace