Synchronous Set Relations in Maude