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 2;
hence r is Relation-like ; :: thesis: verum