@property
    def max(self):
        """
        Returns the maximum value of the domain.