A key takeaway is quoted below:
"Bounded Contexts have both unrelated concepts (such as a support ticket only existing in a customer support context) but also share concepts (such as products and customers) "
Bounded contexts are just boundaries for the "Ubiquitous Language" that will be used
(Assuming "service" means "microservice")
A guideline is that a service could be as small as one aggregate root to as big as one bounded context.
If the Order and Product aggregate roots are part of the same BC then they can be within the same service.
There is also nothing stopping aggregate roots from different BCs referencing each other. As long as the reference is by ID.
An Invoice aggregate root can keep product IDs of all the products that are on the invoice. But it should not keep a copy of the product.