Locally discrete collection (source code)

= Locally discrete collection
{wiki=Locally_discrete_collection}