בהינתן שתי רלציות נסמן ב- את הרלציה המכילה כל אובייקט עבורו יש מופעים ב-S לכל הקומבינציות האפשריות עם שורות מ-T.
במילים אחרות: התוצאה היא הקבוצה המקסימלית עבורה .