Пространство с мерой (X_1 \times X_2, \; \mathcal (F)_1 \otimes \mathcal (F)_2, \; \mu_1 \otimes \mu_2) называется (прямым) произведением исходных пространств. \mathbb (P) ^ (X, \; Y) = \mathbb (P) ^ X \otimes \mathbb (P) ^ Y.
1	Пространство	пространство	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Neut|Number=Sing	36	nsubj	_	_
2	с	с	ADP	IN	_	3	case	_	_
3	мерой	мера	NOUN	NN	Animacy=Inan|Case=Ins|Gender=Fem|Number=Sing	1	nmod	_	_
4	(	(	PUNCT	(	_	5	punct	_	SpaceAfter=No
5	X_1	x_1	NOUN	SYM	_	3	appos	_	_
6	\times	\times	SYM	SYM	_	7	case	_	_
7	X_2	x_2	NOUN	SYM	_	5	nmod	_	SpaceAfter=No
8	,	,	PUNCT	,	_	9	punct	_	_
9	\	\	SYM	SYM	_	5	dep	_	SpaceAfter=No
10	;	;	PUNCT	:	_	11	punct	_	_
11	\mathcal	\mathcal	SYM	SYM	_	5	conj	_	_
12	(	(	PUNCT	(	_	13	punct	_	SpaceAfter=No
13	F	F	X	FW	_	11	nmod	_	SpaceAfter=No
14	)	)	PUNCT	)	_	13	punct	_	SpaceAfter=No
15	_1	_1	NUM	CD	_	13	nmod	_	_
16	\otimes	\otimes	SYM	SYM	_	17	case	_	_
17	\mathcal	\mathcal	SYM	SYM	_	11	nmod	_	_
18	(	(	PUNCT	(	_	19	punct	_	SpaceAfter=No
19	F	F	X	FW	Foreign=Yes	17	nmod	_	SpaceAfter=No
20	)	)	PUNCT	)	_	19	punct	_	SpaceAfter=No
21	_2	_2	NUM	CD	_	19	nmod	_	SpaceAfter=No
22	,	,	PUNCT	,	_	23	punct	_	_
23	\	\	SYM	SYM	_	11	dep	_	SpaceAfter=No
24	;	;	PUNCT	:	_	25	punct	_	_
25	\mu_1	\mu_1	SYM	SYM	_	5	conj	_	_
26	\otimes	\otimes	SYM	SYM	_	27	case	_	_
27	\mu_2	\mu_2	SYM	SYM	_	25	nmod	_	SpaceAfter=No
28	)	)	PUNCT	)	_	5	punct	_	_
29	называется	называться	VERB	VBC	Aspect=Imp|Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin|Voice=Mid	0	root	_	_
30	(	(	PUNCT	(	_	31	punct	_	SpaceAfter=No
31	прямым	прямой	ADJ	JJL	Case=Ins|Degree=Pos|Gender=Neut|Number=Sing	33	amod	_	SpaceAfter=No
32	)	)	PUNCT	)	_	31	punct	_	_
33	произведением	произведение	NOUN	NN	Animacy=Inan|Case=Ins|Gender=Neut|Number=Sing	29	xcomp	_	_
34	исходных	исходный	ADJ	JJL	Case=Gen|Degree=Pos|Number=Plur	35	amod	_	_
35	пространств	пространство	NOUN	NN	Animacy=Inan|Case=Gen|Gender=Neut|Number=Plur	33	nmod	_	SpaceAfter=No
36	.	.	SYM	SYM	_	29	dep	_	_
37	\mathbb	\mathbb	SYM	SYM	_	50	amod	_	_
38	(	(	PUNCT	(	_	39	punct	_	SpaceAfter=No
39	P	P	X	FW	_	37	nmod	_	SpaceAfter=No
40	)	)	PUNCT	)	_	39	punct	_	_
41	^	^	SYM	SYM	_	39	dep	_	_
42	(	(	PUNCT	(	_	43	punct	_	SpaceAfter=No
43	X	X	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	39	nmod	_	SpaceAfter=No
44	,	,	PUNCT	,	_	47	punct	_	_
45	\	\	SYM	SYM	_	47	dep	_	SpaceAfter=No
46	;	;	PUNCT	:	_	47	punct	_	_
47	Y	y	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	43	nmod	_	SpaceAfter=No
48	)	)	PUNCT	)	_	43	punct	_	_
49	=	=	SYM	SYM	_	50	dep	_	_
50	\mathbb	\mathbb	X	FW	Foreign=Yes	29	parataxis	_	_
51	(	(	PUNCT	(	_	52	punct	_	SpaceAfter=No
52	P	P	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	50	appos	_	SpaceAfter=No
53	)	)	PUNCT	)	_	52	punct	_	_
54	^	^	SYM	SYM	_	55	dep	_	_
55	X	x	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	52	nmod	_	_
56	\otimes	\otimes	X	FW	Foreign=Yes	57	case	_	_
57	\mathbb	\mathbb	X	FW	Foreign=Yes	50	nmod	_	_
58	(	(	PUNCT	(	_	59	punct	_	SpaceAfter=No
59	P	P	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	57	appos	_	SpaceAfter=No
60	)	)	PUNCT	)	_	59	punct	_	_
61	^	^	SYM	SYM	_	62	dep	_	_
62	Y	Y	NOUN	NN	Animacy=Inan|Case=Nom|Gender=Masc|Number=Sing	59	nmod	_	SpaceAfter=No
63	.	.	PUNCT	.	_	29	punct	_	_
