Is there a name for a relation in which at least one of those applies? One where at most one applies is asymmetric and irreflexive, right? --Dfeuer (talk) 07:21, 31 January 2013 (UTC)