عَلاقة تَمَاثُل مُضَادّ (antisymmetric relation)

عَلاقة تَمَاثُل مُضَادّ علاقة ع بين عنصرين س، ص من فئة ما، تتميز بأنه عندما تتحقق كل من العلاقتين س ع ص، ص ع س فإن س=ص. ومن أمثلتها العلاقة «أقل من» أو «تساوي» والعلاقة «أكبر من» أو «تساوي» والعلاقة فئة جزئية من.