{irreflexive relation, antireflexive relation} [ریاضی] رابطه ای مانندr در مجموعه ای مفروض به طوری که هیچ عضو مجموعه رابطۀr با خود نداشته باشد
