Система определяется как непустое множество объектов (или несколько таких множеств), между которыми установлены некоторые отношения. Таким образом, в системе набор элементов рассматривается как целостное единство, обладающее интегративными свойствами и противостоящее окружению или среде.
Система может быть представлена пятеркой:
Если хотя бы один член пятерки изменяется во времени или пространстве, то система называется динамичной, в противном случае — статичной.
Системы-классификации — это результат классификационных построений на множествах объектов. Примерами таких систем могут являться множество описаний объектов с заданным отношением эквивалентности, т.е. принадлежности к одному и тому же классу; множество классов с заданным отношением иерархии; множество классификаций с заданным отношением доминирования и т.д. В приведенных примерах указаны системы-модели, т.е. некоторые абстрактные аналоги реальных систем, которые значительно проще последних по большинству аспектов, исключая самые важные для конкретного рассмотрения. Системы-классификации сочетают субъективные и объективные начала, так как человек при классификационных построениях учитывает лишь ограниченное число признаков из бесконечного числа возможных. Таким образом, для бесконечного набора, которым обладает реальный объект, существует также бесконечное множество вариантов выбора ограниченных наборов.
Следовательно, если множество признаков, учитываемое на объектах, является системой описания, а множество значений каждого из учитываемых признаков на конкретных объектах — описанием этих объектов, то аналоги-модели объектов (в частности, системы-классификации) — это системы множеств, каждое из которых есть описание.