code: def update(self):
          
          # updates intension
          self.update_intension()
          self._size_known_intension = len(self.members)
          self._update_members = False
docs: Updates intension and then adds or includes extension