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