Definition talk:Closed Interval

From ProofWiki
Jump to navigation Jump to search

Not sure if Definition:Closed Interval should redirect to something about ordered sets. --barto (talk) 06:24, 4 August 2017 (EDT)

It already does. Where's the problem? Am I missing something? --prime mover (talk) 14:35, 4 August 2017 (EDT)
I meant I don't think it should. --barto (talk) 16:11, 4 August 2017 (EDT)
Why should it not? --prime mover (talk) 17:23, 4 August 2017 (EDT)
The definition for ordered sets should not be treated differently from Definition:Closed Real Interval only because it's more general. We also don't redirect Definition:Continuous Mapping to Definition:Continuous Mapping (Topology): it's more user-friendly that way. --barto (talk) 17:36, 4 August 2017 (EDT)
But I presume the organization of interval definitions is going to be revisited anyway, given that Definition:Interval of Ordered Set does not have a parent page. --barto (talk) 16:11, 4 August 2017 (EDT)
If so, then the organization is best discussed at Definition talk:Interval (not here). --barto (talk) 16:13, 4 August 2017 (EDT)