(a)open(set theory) of an interval that contains neither of its endpoints