அதாவது வேறு வார்த்தைகளில், பங்க்ஷனல் டிபென்டென்சி α → β, பங்க்ஷனல் டிபென்டென்சி செட் , F-இன், க்ளோஸரில் உள்ளதா என்பதை நாம் சரிபார்க்க வேண்டும் என்றால், நாம் செய்ய வேண்டியது α+ -ஐக் கணக்கிடுவது ஆகும்.
మనం చేయవలసిందల్లా α+ పరీక్షించడమే.