Операторные системы можно определить как содержащие единицу замкнутые самосопряжённые векторные подпространства в C*-алгебрах. Более абстрактно они определяются как упорядоченные векторные пространства с дополнительной матричной структурой, эта структура позволяет определить вполне положительные отображения между операторными системами. Теория операторных систем является наиболее общей и естественной для описания явления вполне положительности. Кроме того, она задаёт некоммутативный аналог теории пространств афинных функций на выпуклых компактах. Вопросы об операторных системах возникают в теории операторных алгебр и основаниях квантовой механики.