അതിനാൽ, ഒരു ഇൻഡെക്സ് നിർമ്മിച്ചിരിക്കുന്നു, s എന്ന മറ്റു റിലേഷന് മേൽ ഒരു ഇൻഡെക്സ് ഉണ്ട്; അതാണ് ഇന്നർ റിലേഷൻ , അതിനാൽ ഇതാണ് ഇന്നർ റിലേഷൻ , അവിടെ s-നു മേൽ നിർമ്മിച്ച ഒരു ഇൻഡെക്സ് ഉണ്ടായിരിക്കണം.
కాబట్టి, ఒక ఇండెక్స్ నిర్మించబడింది. ఇన్నర్ రిలేషన్ s పై ఒక ఇండెక్స్ ఉంటుంది. కనుక ఇది ఇన్నర్ రిలేషన్ s, s పై ఒక ఇండెక్స్ నిర్మించబడి ఉండాలి.