olemus
ühetüübiliste algebraliste struktuuride A ja B
elementide paaridest (a,b) moodustatud
algebraline struktuur, kus
tehted defineeritakse komponenthaaval

näide
binaartehte "×" korral:
(a,b) × (c,d) on paar (a×c, b×d)

ülevaateid
https://en.wikipedia.org/wiki/Direct_product

https://planetmath.org/directproductofalgebras

vt ka
- hulkade otsekorrutis