Description: Two classes are always in relation by _V . This is simply equivalent to <. A , B >. e.V , and does not imply that V is a relation: see nrelv . (Contributed by Scott Fenton, 11-Apr-2012)