Today I will check, what routes are redistributed from EIGRP. With default settings, it is quite obvious, that internal routes are redistributed, but what about EIGRP external routes?
Here we can see everything that is needed. Basically, R2 has EIGRP internal and external routes, next these routes are redistributed into OSPF and BGP:
R2#show ip route eigrp
D EX 100.0.0.0/8 [170/2474496] via 10.0.0.1, 00:11:07, Serial0/0
D 200.0.0.0/24 [90/2297856] via 10.0.0.1, 00:11:07, Serial0/0
11.0.0.0/30 is subnetted, 1 subnets
D EX 11.0.0.0 [170/2474496] via 10.0.0.1, 00:11:07, Serial0/0
And let's investigate routing tables from R3 and R4:
R3#show ip route
!Some lines omitted
O E2 100.0.0.0/8 [110/20] via 12.0.0.2, 00:10:20, Serial0/0
O E2 200.0.0.0/24 [110/20] via 12.0.0.2, 00:10:20, Serial0/0
10.0.0.0/30 is subnetted, 1 subnets
O E2 10.0.0.0 [110/20] via 12.0.0.2, 00:10:20, Serial0/0
11.0.0.0/30 is subnetted, 1 subnets
O E2 11.0.0.0 [110/20] via 12.0.0.2, 00:10:20, Serial0/0
12.0.0.0/30 is subnetted, 1 subnets
C 12.0.0.0 is directly connected, Serial0/0
R4#show ip route
!Some lines omitted
B 100.0.0.0/8 [200/2474496] via 10.0.0.1, 00:09:26
B 200.0.0.0/24 [200/2297856] via 10.0.0.1, 00:09:26
10.0.0.0/30 is subnetted, 1 subnets
B 10.0.0.0 [200/0] via 13.0.0.2, 00:09:31
11.0.0.0/30 is subnetted, 1 subnets
B 11.0.0.0 [200/2474496] via 10.0.0.1, 00:09:26
13.0.0.0/30 is subnetted, 1 subnets
C 13.0.0.0 is directly connected, Serial0/0
As we can see, EIGRP redistributes both routes, internal and external (with default settings). It is quite different behaviour as we saw in OSPF.