PUNCTUREDINTERVAL
punctured interval
Noun
- A neighborhood of a point in a space with an order, minus the point itself.
The above text is a snippet from Wiktionary: punctured interval
and as such is available under the Creative Commons Attribution/Share-Alike License.