Algèbre conceptuelle
Opérateurs
C1 && C2 -> C3 (le concept C3 est basé sur le respect des conditions de C1 ou sur celles de C2)
C1 || C2 -> C3 (le concept C3 est basé sur le respect des conditions de C1 et sur celles de C2)
C1 << C2 (C1 est une sous-catgégorie de C2)
~C1
opérateur de mapping symétrique
opérateur de mapping non symétrique