So if I know a priori that there are formally three systems ##(E,N), (E_A, N_A), (E_B,N_B)## with ##E=E_A+E_B## and ##N=N_A+N_B##, and now I am given ##E_A##... I would say that ##P(E|E_A)=P(E_B|E_A)##.
If I now assume that ##E_B## and ##E_A## are independent, then yes, we have...