Среда логических объектов, используемая для описания (моделирования) других сред (в частности, электронной и социальной) на основе математических законов [из 4.2.11 ГОСТ Р 52292—2004]