Updates intension and then adds or includes extension

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