"S" கணத்தின் மீது வரையறுக்கப்பட்ட எதிர்வு உறவு ~ இன் எதிர்வு ஒடுக்கம் ("reflexive reduction", "irreflexive kernel" -≆), ~ இன் எதிர்வு அடைப்பு உறவையே தனது எதிர்வு உறவாகக் கொண்டிருக்கும்.

எதிர்வு அடைப்பு உறவுக்கு எதிரானதாக இதைக் காணலாம். இது ~ இன் முற்றொருமை உறவின் நிரப்பிக்குச் சமானமானதாக இருக்கும். "S" கணத்தின் மீது வரையறுக்கப்பட்ட எதிர்வு உறவு ~ எனில்:

எடுத்துக்காட்டு:
"x"≤"y" இன் எதிர்வு ஒடுக்கம் "x"<"y".

எதிர்வு ஒடுக்கம்
எதிர்வு அடைப்பு உறவு
தொடர்புள்ளவை
எடுத்துக்காட்டுகள்