text: Аксиомой вложенности концептов называется выражение вида C ⊑ D {\displaystyle C\sqsubseteq D} , а аксиомой эквивалентности концептов — выражение вида C ≡ D {\displaystyle C\equiv D} , где C {\displaystyle C} и D {\displaystyle D} — произвольные концепты.