The structure of the -ideal of -porous sets
We show a general method of construction of non--porous sets in complete metric spaces. This method enables us to answer several open questions. We prove that each non--porous Suslin subset of a topologically complete metric space contains a non--porous closed subset. We show also a sufficient condition, which gives that a certain system of compact sets contains a non--porous element. Namely, if we denote the space of all compact subsets of a compact metric space with the Vietoris topology...