In mathematics, particularly in the context of topology and measure theory, a **porous set** is a type of set that is "thin" or "sparse" in a certain sense. The precise definition of a porous set can vary slightly in different contexts, but the general idea is related to the existence of "gaps" or "holes" in the set.
New to topics? Read the docs here!