We are saying if all tests for some fault fi detect another fault fj then fj dominates fi and if such a property is there, what I can do, we can remove fj; we keep only fi, because we know that test for fi will automatically detect fj, that is a definition.
కొన్ని తప్పు ఫై కోసం అన్ని పరీక్షలు మరొక లోపాన్ని గుర్తించినట్లయితే చెబుతున్నాము, అప్పుడు fj fi ని ఆధిపత్యం చేస్తుంది మరియు అలాంటి ఆస్తి ఉంటే, నేను ఏమి చేయగలను, మనం fj ను తొలగించవచ్చు; మేము fi ని మాత్రమే ఉంచుతాము, ఎందుకంటే fi కోసం పరీక్ష స్వయంచాలకంగా fj ని కనుగొంటుందని మాకు తెలుసు, అది ఒక నిర్వచనం.