let r be Subset of [:X,Y:]; :: thesis: r is Relation-like
r is Subset of [:the carrier of X,the carrier of Y:] by BORSUK_1:def 5;
hence r is Relation-like ; :: thesis: verum