ты так говоришь, как будто реляционка взялась ниоткуда, и кодду её боженька в уши нашептал.
я не знаю откуда такое ощущение, ты просто сказал что реляционка это теория множеств, и выводится из операций над множествами, мой поинт что это расширение по операциям (за счет того что мы уточняем что это не просто множества, а отношения из кортежей в которых атрибуты), и вывести реляционку из базиса над множествами без введения операций над отношениями математически нельзя