'A list of constraints describing the closure of the region
where the expression is finite.'

@property
def domain(self):

    return (self._domain() + [con for arg in self.args for con in arg.domain])
