Completing open long ray (S153)

[felixpernegger]

added new metaproperty for one trait

[yhx-12243]

Okay, and I'm not sure whether we should explain what retract is, like P101.

[prabau]

Maybe it's ok without explanation. There isn't really room to explain that in a meta-property. But that would be a good term to add in a future "glossary" page that we had discussed. Or link to the wikipedia page.

[felixpernegger]

Maybe it's ok without explanation. There isn't really room to explain that in a meta-property. But that would be a good term to add in a future "glossary" page that we had discussed. Or link to the wikipedia page.

Its probably good to mention it on the wiki/some glossary yeah. For the metaproperty itself, its kind of trivial when you know what a retract is, so I dont think that needs explanation

[prabau]

Actually, we could possibly add an explanation of what a retract is. Compare with https://topology.pi-base.org/properties/P000130, which does have an explanation for "locally closed" in one of the meta-properties, and it does not look that bad (although a "glossary" link would be better long term).

@yhx-12243 what do you think?

[felixpernegger]

Probably not a bad idea, alternatively just refer to Wikipedia?

Somewhat related: Sometimes the notion of a $\sigma$ product is in meta properties etc, and this is actually not easily google-able, so we might wanna add references when we use it as well