You have received a default route through BGP from your ISP and you want to redistribute it into OSPF. Which method will accomplish this?

To make a route learned from one protocol (BGP) available to another protocol (OSPF), you apply an export policy to the *destination* protocol (OSPF) that filters and advertises the desired route. In this case, the policy would match the default route (0.0.0.0/0) and then permit OSPF to export it as an external LSA into its own routing domain.

An import policy on OSPF affects which routes OSPF *accepts* from its neighbors, not which routes it *originates* or advertises into its domain from other protocols.

The `default-network` command (or similar commands depending on vendor, like `default-information originate` in Cisco) is used to *originate* a default route into OSPF, but it typically requires the default route to already exist in the routing table, and it's not a policy for redistributing a specific route learned from BGP.

The `redistribute-igp` command on BGP would be used to inject IGP-learned routes *into BGP*, which is the opposite direction of what is desired (BGP into OSPF).