For subsets of $\mathbb R^+ = [0,∞)$ we introduce a notion of coherently porous sets as the sets for which the upper limit in the definition of porosity at a point is attained along the same sequence. We prove that the union of two strongly porous at $0$ sets is strongly porous if and only if these sets are coherently porous. This result leads to a characteristic property of the intersection of all maximal ideals contained in the family of strongly porous at $0$ subsets of $\mathbb R^+$. It is also shown that the union of a set $A \subseteq \mathbb R^+$ with arbitrary strongly porous at $0$ set is porous at $0$ if and only if $A$ is lower porous at $0$.
Local upper porosity, local lower porosity, locally strongly porous set, union of locally porous sets, maximal ideal of locally porous sets
ALTINOK, MAYA; DOVGOSHEY, OLEKSIY; and KÜÇÜKASLAN, MEHMET
"Unions and ideals of locally strongly porous sets,"
Turkish Journal of Mathematics: Vol. 41:
6, Article 13.
Available at: https://journals.tubitak.gov.tr/math/vol41/iss6/13