let r be Subset of ; :: thesis: r is Relation-like
r is Subset of by BORSUK_1:def 5;
hence r is Relation-like ; :: thesis: verum