If β is a subset the current set of attributes that form result which mean that α→ β, it will have to because result is the set of all attributes that α functionally determines.
ఒక వేళ β అనేది ప్రస్తుత ఆట్రిబ్యూట్ సెట్లకు సబ్ సెట్ అయితే అపుడు దానిని ఈ నొటేషన్ α→ β తో సూచిస్తాం. ఎందుకంటే రిజల్ట్ అనేది α యొక్క ఫంక్షనల్ ఇటర్మైన్డ్ ఆట్రిబ్యూట్ల సెట్.