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.
சப்குரூப் என்றால், α → β என்று பொருள்படும் தற்போதைய அட்ரிபியூட்களின் செட் தான் ரிசல்ட் ஆகும். ரிசல்ட் , α பங்க்ஷனலி டிடெர்மைன் செய்யும் அனைத்து அட்ரிபியூட்களின் செட்டாகும் .