Piotr Pikul

So "Inj. path conn. + weak Hausdorff => arc connected" by definition. Maybe that should be the new version of T240 (after T709 is there)? Or we can weaken the...

Recently the concept of "canonical phrasing" for meta properties appears upon adding them. Should we keep somewhere a list of those phrases? Maybe just in some "redundant" file in the...

Wrote stub of a section for meta-properties on the [wiki page](https://github.com/pi-base/data/wiki/Conventions-and-Style).

#### "Default meta property" I would call *hereditary on clopen subspaces* a defeult meta property: it seems more natural for a topological property to behave like that than not. Maybe...

I've prepared an extensive description of my thoughts about handling (describing) meta-properties. Available [on Dropbox (v1)](https://www.dropbox.com/scl/fi/gbb09qnfkgmqmqym4p5tu/piBase-meta-v01.pdf?rlkey=nufzqmdn5hq7yt7ni3kvawhxb&dl=0). I got several ideas and they may be not easy to untangle now. But...

Mostly the traits for simple (degenerate) spaces can be deduced in various ways and the initial assumptions could vary as well . I was originally inspired by the proof of...

I was actually less precise, but yes. It would also make sense to search for other such examples. It is definitely of low priority.

MR4183420 is [Zbl 1458.54023](https://zbmath.org/1458.54023) and is open access [doi](https://doi.org/10.4467/20842589RM.20.006.12438) MR0154246 is the PhD dissertation by Horst Herrlich (Ordnungsfähigkeit topologischer Räume) not indexed on zbMATH and is hardly accessible anyway.

I started experimenting with this property on a new branch [locally-orderable](https://github.com/pi-base/data/tree/locally-orderable). There are loads of spaces requiring decing local orderability by hand. For now I used free ids P120 and...

So possibly the current stage is good for the first PR. It's good idea to merge it relatively soon, before someone uses the same ids... It would take significant time...