{[a,b],[c,d]} = {[a,b]} \/ {[c,d]} by ENUMSET1:1;
hence {[a,b],[c,d]} is Relation-like ; :: thesis: verum