Week 17: External and internal direct products, definition and examples