If β is a subset of that, then I know that α → β actually holds.
ఆట్రిబ్యూట్స్ యొక్క క్లోజర్ సెట్ లోని ఎడమ వైపు డిపెండెన్సీ ని పరీక్షించాలి మరియు β అనేది సబ్ సెట్ అవునా కాదా అని పరీక్షించాలి. అపుడు నేను α --> β తృప్తి పరుస్తుంది అని చెప్పవచ్చు