factored stuff that only supplements the library's Relation.thy out into RelationUtils.thy
fixed after renaming sup_rels_from → sup_rels_from_alg in RelationProperties