Now, infinite relations are naturally not representable for example, if I write simply this that r is a relation and I write this predicate that ¬ t € r, which is basically complement set of r now a complement set of r potentially may be infinite if the domain is infinite.
ఇప్పుడు, అనంత రిలేషన్లు సహజంగా ప్రాతినిధ్యం వహించవు ఉదాహరణకు, నేను కేవలం r ఒక రిలేషన్అని వ్రాస్తాను మరియు నేను ఈ ప్రెడికేటే ఇలా వ్రాస్తాను , ¬ t € r, ఇది ప్రాథమికంగా r యొక్క పూరక సమితి ఇప్పుడు r యొక్క ఒక పూరక సమితి ని భర్తీ చేస్తే డొమైన్ అనంతమైనది కావచ్చు.