 Everywhere unramified extension of number fields

A finite extension of number fields is unramified everywhere when every finite prime ideal is unramified. If infinite places are included in the convention, one also requires every real place to remain real.