அதாவது G+ = = R ஆ இல்லையா என்பதைச் சரிபார்க்கிறோம். இதன் மூலம் அட்ரிபியூட்களின் செட் ஒரு கீயா இல்லையா என்பதை எளிதாக டிடெர்மைன் செய்ய முடியும்.
ఒక వేళ A ని తొలగిస్తే G→R దాని అర్థం G+ = =R అనేదానితో మనం సెట్ ఆఫ్ ఆట్రిబ్యూట్ల కీ నా కాదా అని తెలుసుకోవచ్చు.