Isometric immersions of RCD spaces | Synapse