Matemaatiline maailmapilt
Seega saame mõlemapidisest
arutelust järeldada, et hulgad (A B)' ja A' B' on võrdsed.
Definitsioon
Hulkade A ja B otsekorrutiseks A × B nimetatakse kõikide paaride (a, b) hulka, kus a A ja
b B, seejuures elementide järjekord paarides on oluline.
Seega
A × B={(a , b)a A , b B }.
Paaride võrdsus tähendab vastavate paariliste võrdsust
(a , b)=(c , d) a=c b=d .
Hulkade otsekorrutamine pole üldjuhul kommutatiivne, s.o kui A B, siis A × B B × A.
Näide: Olgu A = {0, 1} ja B = {2, 1}. Siis A × B = {(0, 2),(0, 1),(1, 2),(1, 1)} ja
B × A = {(2, 0),(2, 1),(1, 0),(1, 1)}, seega A × B B × A.
Näide: Ristkülikut R = {(x, y): a x b, c y d} võime esitada lõikude [a, b] ja [c, d]
otsekorrutisena R = [a, b] × [c, d].
Teoreem
Hulkade A, B, C ja D jaoks kehtivad järgmised võrdused:
1. A × = , × A = ;
2. A × (B C) = (A × B) (A × C);
3
annaabi.ee 
