تعریف

به مجموعه‌ای از چند مقدار که یک گزاره نما را تبدیل به یک گزاره درست می‌کنند گفته می‌شود. برای مثال سیاره x به دور ستاره y می چرخد یک گزاره نماست (گزاره پارامتری) که تاپل {خورشید=yناهید=x} یک گزاره صحیح در آن به وجود می‌آورد. رابطه دو بخش دارد و . بدنه رابطه مجموعه‌ای متناهی از تاپل هاست. عنوان رابطه مجموعه‌ای از چند است که هر ویژگی دارای یک نام و یک نوع است. برای مثال در رابطه فوق عنوان دارای دو ویژگی است اولی به نام ستاره و از نوع کاراکتر (یا از نوع ستاره‌های عالم) و دومی سیاره و از نوع کاراکتر (یا نوع سیاره‌های عالم)به تعداد تاپل‌های رابطه ، به تعداد ویژگی‌های عنوان رابطه گفته می‌شود. از آنجا که این مفاهیم بر اساس نظریه مجموعه‌ها تعریف شده اند عضو تکراری (تاپل تکراری در بدنه و نام ویژگی تکراری در عنوان) غیر ممکن است و ترتیب آنها هم هیچ اهمیتی ندارد.