Досліджено загальні властивості теоретико-множинних конструкцій, які використовуються, зокрема, в теорії реляційних баз даних під час дослідження табличних алгебр, побудованих на базі класичних реляційних алгебр Кодда. Розглянуто повний образ множини відносно бінарного відношення та розповсюдження унарних (бінарних) часткових операцій на множини за допомогою повного образу, обмеження бінарного відношення (БВ) за множиною, проекцію БВ і відношення сумісності БВ.