α+ டிபென்டென்சியின் இடது புறத்தில் உள்ள அட்ரிபியூட்களின் க்ளோஸர் செட் ஆகும். β என்பது α+ -இன் சப்செட் ஆக இருக்கிறதா என்று சரிபார்க்க வேண்டும்.
ఆట్రిబ్యూట్స్ యొక్క క్లోజర్ సెట్ లోని ఎడమ వైపు డిపెండెన్సీ ని పరీక్షించాలి మరియు β అనేది సబ్ సెట్ అవునా కాదా అని పరీక్షించాలి.