Not exactly what you are looking for, because it only works for the interval [0, 1):
x = symbols('x', nonnegative = True)
x = x/(x+1)
x >= 0, x < 1)
(True, True)