минимальное расширение отношения, обладающее заданным свойством (рефлексивностью, симметричностью, транзитивностью).