A selection-based formal description of an environment