É correto afirmar sobre os segurados do Regime Geral de Previdência:

O servidor público civil, ocupante de cargo efetivo da União, é excluído do Regime Geral de Previdência Social.

Quando amparado por Regime Próprio de Previdência Social, o servidor civil ocupante de cargo efetivo dos Municípios é excluído do Regime Geral de Previdência Social.

O Regime Próprio de Previdência Social é subsidiário ao Regime Geral de Previdência Social, podendo o servidor público civil optar pela filiação em qualquer deles.

O servidor público civil, ocupante de cargo efetivo militar da União, poderá optar pela filiação ao Regime Geral de Previdência Social ou ao Regime Próprio de Previdência Social.

O servidor civil ocupante de cargo ou emprego público em autarquias e fundações é filiado obrigatório do Regime Próprio de Previdência Social.