1. (у математиці, зокрема в теорії графів) Такий, що він є своїм власним доповненням; ізоморфний до свого доповнення (про граф).
2. (у логіці та формальних системах) Такий, що містить власне заперечення або здатний до його вираження; самодостатній щодо операції заперечення.