Interface BinaryRelation<T,​U>