How are labels merged so that filters are included as well?
So that Alice and Bob instead are directed to Carol, for example. Crucially, any filters for Alice or Bob will now work with Carol instead. Asked differently, how are the filters merged or migrated?
The three names: Alice, Bob and Carol are gmail labels. In an IMAP client, or through the web interface, it's easy enough to rename a directory or label. It's easy enough to copy, or move, e-mails from one label to another.
However, how are the filter's updated so that Alice and Bob no longer receive any e-mails at all? All mail which was being directed to Alice and Bob should now go directly to Carol.
Again, the names: Alice, Bob and Carol are just labels within gmail for illustrative purposes. Through IMAP the labels are reflected as directories, of course.
