id	sid	tid	token	lemma	pos
ejpam-3770	1	1	european	european	PROPN
ejpam-3770	1	2	journal	journal	PROPN
ejpam-3770	1	3	of	of	ADP
ejpam-3770	1	4	pure	pure	ADJ
ejpam-3770	1	5	and	and	CCONJ
ejpam-3770	1	6	applied	apply	VERB
ejpam-3770	1	7	mathematics	mathematic	NOUN
ejpam-3770	1	8	vol	vol	NOUN
ejpam-3770	1	9	.	.	PROPN
ejpam-3770	2	1	13	13	NUM
ejpam-3770	2	2	,	,	PUNCT
ejpam-3770	2	3	no	no	INTJ
ejpam-3770	2	4	.	.	NOUN
ejpam-3770	2	5	3	3	NUM
ejpam-3770	2	6	,	,	PUNCT
ejpam-3770	2	7	2020	2020	NUM
ejpam-3770	2	8	,	,	PUNCT
ejpam-3770	2	9	697	697	NUM
ejpam-3770	2	10	-	-	SYM
ejpam-3770	2	11	700	700	NUM
ejpam-3770	2	12	issn	issn	PROPN
ejpam-3770	2	13	1307	1307	NUM
ejpam-3770	2	14	-	-	SYM
ejpam-3770	2	15	5543	5543	NUM
ejpam-3770	2	16	–	–	PUNCT
ejpam-3770	2	17	www.ejpam.com	www.ejpam.com	X
ejpam-3770	2	18	published	publish	VERB
ejpam-3770	2	19	by	by	ADP
ejpam-3770	2	20	new	new	PROPN
ejpam-3770	2	21	york	york	PROPN
ejpam-3770	2	22	business	business	PROPN
ejpam-3770	2	23	global	global	ADJ
ejpam-3770	2	24	quasi	quasi	NOUN
ejpam-3770	2	25	-	-	NOUN
ejpam-3770	2	26	normality	normality	NOUN
ejpam-3770	2	27	of	of	ADP
ejpam-3770	2	28	mrówka	mrówka	NOUN
ejpam-3770	2	29	spaces	space	NOUN
ejpam-3770	2	30	ibtesam	ibtesam	PROPN
ejpam-3770	2	31	alshammari1,∗	alshammari1,∗	ADV
ejpam-3770	2	32	,	,	PUNCT
ejpam-3770	2	33	lutfi	lutfi	PROPN
ejpam-3770	2	34	kalantan2	kalantan2	PROPN
ejpam-3770	2	35	1	1	NUM
ejpam-3770	2	36	department	department	NOUN
ejpam-3770	2	37	of	of	ADP
ejpam-3770	2	38	mathematics	mathematic	NOUN
ejpam-3770	2	39	,	,	PUNCT
ejpam-3770	2	40	faculty	faculty	NOUN
ejpam-3770	2	41	of	of	ADP
ejpam-3770	2	42	science	science	NOUN
ejpam-3770	2	43	,	,	PUNCT
ejpam-3770	2	44	university	university	NOUN
ejpam-3770	2	45	of	of	ADP
ejpam-3770	2	46	hafr	hafr	PROPN
ejpam-3770	2	47	al	al	PROPN
ejpam-3770	2	48	batin	batin	PROPN
ejpam-3770	2	49	,	,	PUNCT
ejpam-3770	2	50	p.o.box	p.o.box	PROPN
ejpam-3770	2	51	1803	1803	NUM
ejpam-3770	2	52	,	,	PUNCT
ejpam-3770	2	53	hafr	hafr	PROPN
ejpam-3770	2	54	al	al	PROPN
ejpam-3770	2	55	batin	batin	PROPN
ejpam-3770	2	56	31991	31991	NUM
ejpam-3770	2	57	,	,	PUNCT
ejpam-3770	2	58	saudi	saudi	PROPN
ejpam-3770	2	59	arabia	arabia	PROPN
ejpam-3770	2	60	2	2	NUM
ejpam-3770	2	61	department	department	NOUN
ejpam-3770	2	62	of	of	ADP
ejpam-3770	2	63	mathematics	mathematic	NOUN
ejpam-3770	2	64	,	,	PUNCT
ejpam-3770	2	65	faculty	faculty	NOUN
ejpam-3770	2	66	of	of	ADP
ejpam-3770	2	67	science	science	NOUN
ejpam-3770	2	68	,	,	PUNCT
ejpam-3770	2	69	king	king	PROPN
ejpam-3770	2	70	abdulaziz	abdulaziz	PROPN
ejpam-3770	2	71	university	university	PROPN
ejpam-3770	2	72	abstract	abstract	NOUN
ejpam-3770	2	73	.	.	PUNCT
ejpam-3770	3	1	a	a	DET
ejpam-3770	3	2	topological	topological	ADJ
ejpam-3770	3	3	space	space	NOUN
ejpam-3770	3	4	x	x	PUNCT
ejpam-3770	3	5	is	be	AUX
ejpam-3770	3	6	called	call	VERB
ejpam-3770	3	7	quasi	quasi	ADJ
ejpam-3770	3	8	-	-	ADJ
ejpam-3770	3	9	normal	normal	ADJ
ejpam-3770	3	10	if	if	SCONJ
ejpam-3770	3	11	x	x	PRON
ejpam-3770	3	12	is	be	AUX
ejpam-3770	3	13	regular	regular	ADJ
ejpam-3770	3	14	and	and	CCONJ
ejpam-3770	3	15	any	any	DET
ejpam-3770	3	16	two	two	NUM
ejpam-3770	3	17	disjoint	disjoint	NOUN
ejpam-3770	3	18	πclosed	πclose	VERB
ejpam-3770	3	19	subsets	subset	NOUN
ejpam-3770	3	20	a	a	PRON
ejpam-3770	3	21	and	and	CCONJ
ejpam-3770	3	22	b	b	NOUN
ejpam-3770	3	23	of	of	ADP
ejpam-3770	3	24	x	x	PRON
ejpam-3770	3	25	are	be	AUX
ejpam-3770	3	26	separated	separate	VERB
ejpam-3770	3	27	.	.	PUNCT
ejpam-3770	4	1	we	we	PRON
ejpam-3770	4	2	give	give	VERB
ejpam-3770	4	3	a	a	DET
ejpam-3770	4	4	mrówka	mrówka	NOUN
ejpam-3770	4	5	space	space	NOUN
ejpam-3770	4	6	which	which	PRON
ejpam-3770	4	7	is	be	AUX
ejpam-3770	4	8	not	not	PART
ejpam-3770	4	9	quasi	quasi	ADJ
ejpam-3770	4	10	-	-	ADJ
ejpam-3770	4	11	normal	normal	ADJ
ejpam-3770	4	12	and	and	CCONJ
ejpam-3770	4	13	use	use	VERB
ejpam-3770	4	14	the	the	DET
ejpam-3770	4	15	continuum	continuum	ADJ
ejpam-3770	4	16	hypothesis	hypothesis	NOUN
ejpam-3770	4	17	(	(	PUNCT
ejpam-3770	4	18	ch	ch	NOUN
ejpam-3770	4	19	)	)	PUNCT
ejpam-3770	4	20	and	and	CCONJ
ejpam-3770	4	21	truly	truly	ADV
ejpam-3770	4	22	cardinality	cardinality	PROPN
ejpam-3770	4	23	c	c	PROPN
ejpam-3770	4	24	to	to	PART
ejpam-3770	4	25	present	present	VERB
ejpam-3770	4	26	mrówka	mrówka	NOUN
ejpam-3770	4	27	spaces	space	NOUN
ejpam-3770	4	28	which	which	PRON
ejpam-3770	4	29	are	be	AUX
ejpam-3770	4	30	quasi	quasi	ADJ
ejpam-3770	4	31	-	-	ADJ
ejpam-3770	4	32	normal	normal	ADJ
ejpam-3770	4	33	.	.	PUNCT
ejpam-3770	5	1	2020	2020	NUM
ejpam-3770	5	2	mathematics	mathematic	NOUN
ejpam-3770	5	3	subject	subject	NOUN
ejpam-3770	5	4	classifications	classification	NOUN
ejpam-3770	5	5	:	:	PUNCT
ejpam-3770	5	6	54d15	54d15	NUM
ejpam-3770	5	7	,	,	PUNCT
ejpam-3770	5	8	54d10	54d10	NUM
ejpam-3770	5	9	key	key	ADJ
ejpam-3770	5	10	words	word	NOUN
ejpam-3770	5	11	and	and	CCONJ
ejpam-3770	5	12	phrases	phrase	NOUN
ejpam-3770	5	13	:	:	PUNCT
ejpam-3770	5	14	normal	normal	ADJ
ejpam-3770	5	15	,	,	PUNCT
ejpam-3770	5	16	π	π	PROPN
ejpam-3770	5	17	-	-	ADJ
ejpam-3770	5	18	normal	normal	ADJ
ejpam-3770	5	19	,	,	PUNCT
ejpam-3770	5	20	mildly	mildly	ADV
ejpam-3770	5	21	normal	normal	ADJ
ejpam-3770	5	22	,	,	PUNCT
ejpam-3770	5	23	quasi	quasi	ADJ
ejpam-3770	5	24	-	-	ADJ
ejpam-3770	5	25	normal	normal	ADJ
ejpam-3770	5	26	,	,	PUNCT
ejpam-3770	5	27	closed	closed	ADJ
ejpam-3770	5	28	domain	domain	NOUN
ejpam-3770	5	29	,	,	PUNCT
ejpam-3770	5	30	π	π	PROPN
ejpam-3770	5	31	-	-	VERB
ejpam-3770	5	32	closed	closed	ADJ
ejpam-3770	5	33	,	,	PUNCT
ejpam-3770	5	34	mrówka	mrówka	NOUN
ejpam-3770	5	35	space	space	NOUN
ejpam-3770	5	36	,	,	PUNCT
ejpam-3770	5	37	continuum	continuum	ADJ
ejpam-3770	5	38	hypothesis	hypothesis	NOUN
ejpam-3770	5	39	(	(	PUNCT
ejpam-3770	5	40	ch	ch	NOUN
ejpam-3770	5	41	)	)	PUNCT
ejpam-3770	5	42	,	,	PUNCT
ejpam-3770	5	43	truly	truly	ADV
ejpam-3770	5	44	cardinality	cardinality	PROPN
ejpam-3770	5	45	c	c	PROPN
ejpam-3770	5	46	1	1	NUM
ejpam-3770	5	47	.	.	PUNCT
ejpam-3770	5	48	introduction	introduction	NOUN
ejpam-3770	5	49	in	in	ADP
ejpam-3770	5	50	this	this	DET
ejpam-3770	5	51	paper	paper	NOUN
ejpam-3770	5	52	,	,	PUNCT
ejpam-3770	5	53	we	we	PRON
ejpam-3770	5	54	give	give	VERB
ejpam-3770	5	55	a	a	DET
ejpam-3770	5	56	mrówka	mrówka	NOUN
ejpam-3770	5	57	space	space	NOUN
ejpam-3770	5	58	which	which	PRON
ejpam-3770	5	59	is	be	AUX
ejpam-3770	5	60	not	not	PART
ejpam-3770	5	61	quasi	quasi	ADJ
ejpam-3770	5	62	-	-	ADJ
ejpam-3770	5	63	normal	normal	ADJ
ejpam-3770	5	64	and	and	CCONJ
ejpam-3770	5	65	use	use	VERB
ejpam-3770	5	66	the	the	DET
ejpam-3770	5	67	continuum	continuum	ADJ
ejpam-3770	5	68	hypothesis	hypothesis	NOUN
ejpam-3770	5	69	(	(	PUNCT
ejpam-3770	5	70	ch	ch	NOUN
ejpam-3770	5	71	)	)	PUNCT
ejpam-3770	5	72	and	and	CCONJ
ejpam-3770	5	73	truly	truly	ADV
ejpam-3770	5	74	cardinality	cardinality	PROPN
ejpam-3770	5	75	c	c	PROPN
ejpam-3770	5	76	to	to	PART
ejpam-3770	5	77	present	present	VERB
ejpam-3770	5	78	mrówka	mrówka	NOUN
ejpam-3770	5	79	spaces	space	NOUN
ejpam-3770	5	80	which	which	PRON
ejpam-3770	5	81	are	be	AUX
ejpam-3770	5	82	quasi	quasi	ADJ
ejpam-3770	5	83	-	-	ADJ
ejpam-3770	5	84	normal	normal	ADJ
ejpam-3770	5	85	.	.	PUNCT
ejpam-3770	6	1	throughout	throughout	ADP
ejpam-3770	6	2	this	this	DET
ejpam-3770	6	3	paper	paper	NOUN
ejpam-3770	6	4	,	,	PUNCT
ejpam-3770	6	5	we	we	PRON
ejpam-3770	6	6	denote	denote	VERB
ejpam-3770	6	7	an	an	DET
ejpam-3770	6	8	ordered	order	VERB
ejpam-3770	6	9	pair	pair	NOUN
ejpam-3770	6	10	by	by	ADP
ejpam-3770	6	11	〈	〈	PROPN
ejpam-3770	6	12	x	x	PROPN
ejpam-3770	6	13	,	,	PUNCT
ejpam-3770	6	14	y	y	PROPN
ejpam-3770	6	15	〉	〉	PROPN
ejpam-3770	6	16	and	and	CCONJ
ejpam-3770	6	17	the	the	DET
ejpam-3770	6	18	set	set	NOUN
ejpam-3770	6	19	of	of	ADP
ejpam-3770	6	20	positive	positive	ADJ
ejpam-3770	6	21	integers	integer	NOUN
ejpam-3770	6	22	by	by	ADP
ejpam-3770	6	23	n.	n.	PROPN
ejpam-3770	6	24	a	a	DET
ejpam-3770	6	25	t4	t4	PROPN
ejpam-3770	6	26	space	space	NOUN
ejpam-3770	6	27	is	be	AUX
ejpam-3770	6	28	a	a	DET
ejpam-3770	6	29	t1	t1	NOUN
ejpam-3770	6	30	normal	normal	ADJ
ejpam-3770	6	31	space	space	NOUN
ejpam-3770	6	32	,	,	PUNCT
ejpam-3770	6	33	a	a	DET
ejpam-3770	6	34	tychonoff	tychonoff	NOUN
ejpam-3770	6	35	(	(	PUNCT
ejpam-3770	6	36	t3	t3	NOUN
ejpam-3770	6	37	1	1	NUM
ejpam-3770	6	38	2	2	NUM
ejpam-3770	6	39	)	)	PUNCT
ejpam-3770	6	40	space	space	NOUN
ejpam-3770	6	41	is	be	AUX
ejpam-3770	6	42	a	a	DET
ejpam-3770	6	43	t1	t1	NOUN
ejpam-3770	6	44	completely	completely	ADV
ejpam-3770	6	45	regular	regular	ADJ
ejpam-3770	6	46	space	space	NOUN
ejpam-3770	6	47	,	,	PUNCT
ejpam-3770	6	48	and	and	CCONJ
ejpam-3770	6	49	a	a	DET
ejpam-3770	6	50	t3	t3	PROPN
ejpam-3770	6	51	space	space	NOUN
ejpam-3770	6	52	is	be	AUX
ejpam-3770	6	53	a	a	DET
ejpam-3770	6	54	t1	t1	NOUN
ejpam-3770	6	55	regular	regular	ADJ
ejpam-3770	6	56	space	space	NOUN
ejpam-3770	6	57	.	.	PUNCT
ejpam-3770	7	1	for	for	ADP
ejpam-3770	7	2	a	a	DET
ejpam-3770	7	3	subset	subset	NOUN
ejpam-3770	7	4	a	a	PRON
ejpam-3770	7	5	of	of	ADP
ejpam-3770	7	6	a	a	DET
ejpam-3770	7	7	space	space	NOUN
ejpam-3770	7	8	x	x	NOUN
ejpam-3770	7	9	,	,	PUNCT
ejpam-3770	7	10	inta	inta	PROPN
ejpam-3770	7	11	and	and	CCONJ
ejpam-3770	7	12	a	a	DET
ejpam-3770	7	13	denote	denote	NOUN
ejpam-3770	7	14	the	the	DET
ejpam-3770	7	15	interior	interior	NOUN
ejpam-3770	7	16	and	and	CCONJ
ejpam-3770	7	17	the	the	DET
ejpam-3770	7	18	closure	closure	NOUN
ejpam-3770	7	19	of	of	ADP
ejpam-3770	7	20	a	a	PRON
ejpam-3770	7	21	,	,	PUNCT
ejpam-3770	7	22	respectively	respectively	ADV
ejpam-3770	7	23	.	.	PUNCT
ejpam-3770	8	1	an	an	DET
ejpam-3770	8	2	ordinal	ordinal	ADJ
ejpam-3770	8	3	γ	γ	X
ejpam-3770	8	4	is	be	AUX
ejpam-3770	8	5	the	the	DET
ejpam-3770	8	6	set	set	NOUN
ejpam-3770	8	7	of	of	ADP
ejpam-3770	8	8	all	all	DET
ejpam-3770	8	9	ordinal	ordinal	ADJ
ejpam-3770	8	10	α	α	PRON
ejpam-3770	8	11	such	such	ADJ
ejpam-3770	8	12	that	that	SCONJ
ejpam-3770	8	13	α	α	PROPN
ejpam-3770	8	14	<	<	X
ejpam-3770	8	15	γ	γ	X
ejpam-3770	8	16	.	.	PUNCT
ejpam-3770	9	1	the	the	DET
ejpam-3770	9	2	first	first	ADJ
ejpam-3770	9	3	infinite	infinite	ADJ
ejpam-3770	9	4	ordinal	ordinal	NOUN
ejpam-3770	9	5	is	be	AUX
ejpam-3770	9	6	ω	ω	NUM
ejpam-3770	9	7	and	and	CCONJ
ejpam-3770	9	8	the	the	DET
ejpam-3770	9	9	first	first	ADJ
ejpam-3770	9	10	uncountable	uncountable	ADJ
ejpam-3770	9	11	ordinal	ordinal	NOUN
ejpam-3770	9	12	is	be	AUX
ejpam-3770	9	13	ω1	ω1	PROPN
ejpam-3770	9	14	.	.	PUNCT
ejpam-3770	10	1	definition	definition	NOUN
ejpam-3770	10	2	1	1	NUM
ejpam-3770	10	3	.	.	PUNCT
ejpam-3770	10	4	two	two	NUM
ejpam-3770	10	5	disjoint	disjoint	NOUN
ejpam-3770	10	6	subsets	subset	NOUN
ejpam-3770	10	7	e	e	PROPN
ejpam-3770	10	8	and	and	CCONJ
ejpam-3770	10	9	f	f	PROPN
ejpam-3770	10	10	of	of	ADP
ejpam-3770	10	11	a	a	DET
ejpam-3770	10	12	space	space	NOUN
ejpam-3770	10	13	x	x	PRON
ejpam-3770	10	14	are	be	AUX
ejpam-3770	10	15	called	call	VERB
ejpam-3770	10	16	separated	separate	VERB
ejpam-3770	10	17	if	if	SCONJ
ejpam-3770	10	18	there	there	PRON
ejpam-3770	10	19	exist	exist	VERB
ejpam-3770	10	20	two	two	NUM
ejpam-3770	10	21	disjoint	disjoint	ADJ
ejpam-3770	10	22	open	open	ADJ
ejpam-3770	10	23	sets	set	NOUN
ejpam-3770	10	24	u	u	NOUN
ejpam-3770	10	25	and	and	CCONJ
ejpam-3770	10	26	v	v	ADP
ejpam-3770	10	27	such	such	ADJ
ejpam-3770	10	28	that	that	SCONJ
ejpam-3770	10	29	e	e	PROPN
ejpam-3770	10	30	⊆	⊆	NUM
ejpam-3770	10	31	u	u	NOUN
ejpam-3770	10	32	and	and	CCONJ
ejpam-3770	10	33	f	f	PROPN
ejpam-3770	10	34	⊆	⊆	NUM
ejpam-3770	10	35	v	v	NOUN
ejpam-3770	10	36	.	.	PUNCT
ejpam-3770	11	1	a	a	DET
ejpam-3770	11	2	subset	subset	NOUN
ejpam-3770	11	3	a	a	PRON
ejpam-3770	11	4	of	of	ADP
ejpam-3770	11	5	a	a	DET
ejpam-3770	11	6	space	space	NOUN
ejpam-3770	11	7	x	x	PUNCT
ejpam-3770	11	8	is	be	AUX
ejpam-3770	11	9	called	call	VERB
ejpam-3770	11	10	closed	closed	ADJ
ejpam-3770	11	11	domain	domain	NOUN
ejpam-3770	11	12	[	[	X
ejpam-3770	11	13	1	1	NUM
ejpam-3770	11	14	]	]	PUNCT
ejpam-3770	11	15	,	,	PUNCT
ejpam-3770	11	16	called	call	VERB
ejpam-3770	11	17	also	also	ADV
ejpam-3770	11	18	regularly	regularly	ADV
ejpam-3770	11	19	closed	close	VERB
ejpam-3770	11	20	,	,	PUNCT
ejpam-3770	11	21	κ	κ	NOUN
ejpam-3770	12	1	-	-	PUNCT
ejpam-3770	12	2	closed	closed	ADJ
ejpam-3770	12	3	,	,	PUNCT
ejpam-3770	12	4	if	if	SCONJ
ejpam-3770	12	5	a	a	DET
ejpam-3770	12	6	=	=	X
ejpam-3770	12	7	inta	inta	PROPN
ejpam-3770	12	8	.	.	PUNCT
ejpam-3770	13	1	a	a	DET
ejpam-3770	13	2	space	space	NOUN
ejpam-3770	13	3	x	x	PUNCT
ejpam-3770	13	4	is	be	AUX
ejpam-3770	13	5	called	call	VERB
ejpam-3770	13	6	mildly	mildly	ADV
ejpam-3770	13	7	normal	normal	ADJ
ejpam-3770	13	8	[	[	X
ejpam-3770	13	9	6	6	NUM
ejpam-3770	13	10	]	]	PUNCT
ejpam-3770	13	11	,	,	PUNCT
ejpam-3770	13	12	called	call	VERB
ejpam-3770	13	13	also	also	ADV
ejpam-3770	13	14	κ	κ	NOUN
ejpam-3770	13	15	-	-	ADJ
ejpam-3770	13	16	normal	normal	ADJ
ejpam-3770	13	17	[	[	X
ejpam-3770	13	18	5	5	NUM
ejpam-3770	13	19	]	]	PUNCT
ejpam-3770	13	20	,	,	PUNCT
ejpam-3770	13	21	if	if	SCONJ
ejpam-3770	13	22	any	any	DET
ejpam-3770	13	23	two	two	NUM
ejpam-3770	13	24	disjoint	disjoint	NOUN
ejpam-3770	13	25	closed	close	VERB
ejpam-3770	13	26	domains	domain	NOUN
ejpam-3770	13	27	a	a	PRON
ejpam-3770	13	28	and	and	CCONJ
ejpam-3770	13	29	b	b	NOUN
ejpam-3770	13	30	of	of	ADP
ejpam-3770	13	31	x	x	PRON
ejpam-3770	13	32	are	be	AUX
ejpam-3770	13	33	separated	separate	VERB
ejpam-3770	13	34	.	.	PUNCT
ejpam-3770	14	1	in	in	ADP
ejpam-3770	14	2	[	[	X
ejpam-3770	14	3	5	5	NUM
ejpam-3770	14	4	]	]	PUNCT
ejpam-3770	14	5	,	,	PUNCT
ejpam-3770	14	6	stchepin	stchepin	NOUN
ejpam-3770	14	7	required	require	VERB
ejpam-3770	14	8	regularity	regularity	NOUN
ejpam-3770	14	9	in	in	ADP
ejpam-3770	14	10	his	his	PRON
ejpam-3770	14	11	definition	definition	NOUN
ejpam-3770	14	12	of	of	ADP
ejpam-3770	14	13	κ	κ	NOUN
ejpam-3770	14	14	-	-	NOUN
ejpam-3770	14	15	normality	normality	NOUN
ejpam-3770	14	16	.	.	PUNCT
ejpam-3770	15	1	a	a	DET
ejpam-3770	15	2	subset	subset	NOUN
ejpam-3770	15	3	a	a	PRON
ejpam-3770	15	4	of	of	ADP
ejpam-3770	15	5	a	a	DET
ejpam-3770	15	6	space	space	NOUN
ejpam-3770	15	7	x	x	PUNCT
ejpam-3770	15	8	is	be	AUX
ejpam-3770	15	9	called	call	VERB
ejpam-3770	15	10	π	π	PROPN
ejpam-3770	15	11	-	-	VERB
ejpam-3770	15	12	closed	closed	ADJ
ejpam-3770	15	13	[	[	X
ejpam-3770	15	14	8	8	NUM
ejpam-3770	15	15	]	]	X
ejpam-3770	15	16	if	if	SCONJ
ejpam-3770	15	17	a	a	PRON
ejpam-3770	15	18	is	be	AUX
ejpam-3770	15	19	a	a	DET
ejpam-3770	15	20	finite	finite	ADJ
ejpam-3770	15	21	intersection	intersection	NOUN
ejpam-3770	15	22	of	of	ADP
ejpam-3770	15	23	closed	closed	ADJ
ejpam-3770	15	24	domains	domain	NOUN
ejpam-3770	15	25	.	.	PUNCT
ejpam-3770	16	1	a	a	DET
ejpam-3770	16	2	space	space	NOUN
ejpam-3770	16	3	x	x	PUNCT
ejpam-3770	16	4	is	be	AUX
ejpam-3770	16	5	called	call	VERB
ejpam-3770	16	6	π	π	PROPN
ejpam-3770	16	7	-	-	NOUN
ejpam-3770	16	8	normal	normal	ADJ
ejpam-3770	16	9	[	[	X
ejpam-3770	16	10	3	3	NUM
ejpam-3770	16	11	]	]	PUNCT
ejpam-3770	16	12	if	if	SCONJ
ejpam-3770	16	13	any	any	DET
ejpam-3770	16	14	two	two	NUM
ejpam-3770	16	15	disjoint	disjoint	NOUN
ejpam-3770	16	16	closed	closed	ADJ
ejpam-3770	16	17	subsets	subset	NOUN
ejpam-3770	16	18	a	a	PRON
ejpam-3770	16	19	and	and	CCONJ
ejpam-3770	16	20	b	b	NOUN
ejpam-3770	16	21	of	of	ADP
ejpam-3770	16	22	x	x	PRON
ejpam-3770	16	23	one	one	NUM
ejpam-3770	16	24	of	of	ADP
ejpam-3770	16	25	which	which	PRON
ejpam-3770	16	26	is	be	AUX
ejpam-3770	16	27	π	π	PROPN
ejpam-3770	16	28	-	-	VERB
ejpam-3770	16	29	closed	closed	ADJ
ejpam-3770	16	30	are	be	AUX
ejpam-3770	16	31	separated	separate	VERB
ejpam-3770	16	32	.	.	PUNCT
ejpam-3770	17	1	a	a	DET
ejpam-3770	17	2	space	space	NOUN
ejpam-3770	17	3	x	x	PUNCT
ejpam-3770	17	4	is	be	AUX
ejpam-3770	17	5	called	call	VERB
ejpam-3770	17	6	quasi	quasi	ADJ
ejpam-3770	17	7	-	-	ADJ
ejpam-3770	17	8	normal	normal	ADJ
ejpam-3770	17	9	[	[	X
ejpam-3770	17	10	8	8	NUM
ejpam-3770	17	11	]	]	X
ejpam-3770	17	12	if	if	SCONJ
ejpam-3770	17	13	x	x	PRON
ejpam-3770	17	14	is	be	AUX
ejpam-3770	17	15	regular	regular	ADJ
ejpam-3770	17	16	and	and	CCONJ
ejpam-3770	17	17	any	any	DET
ejpam-3770	17	18	two	two	NUM
ejpam-3770	17	19	disjoint	disjoint	NOUN
ejpam-3770	17	20	π	π	ADJ
ejpam-3770	17	21	-	-	ADJ
ejpam-3770	17	22	closed	closed	ADJ
ejpam-3770	17	23	subsets	subset	NOUN
ejpam-3770	17	24	a	a	PRON
ejpam-3770	17	25	and	and	CCONJ
ejpam-3770	17	26	b	b	NOUN
ejpam-3770	17	27	of	of	ADP
ejpam-3770	17	28	x	x	PRON
ejpam-3770	17	29	are	be	AUX
ejpam-3770	17	30	separated	separate	VERB
ejpam-3770	17	31	,	,	PUNCT
ejpam-3770	17	32	see	see	VERB
ejpam-3770	17	33	also	also	ADV
ejpam-3770	17	34	[	[	X
ejpam-3770	17	35	3	3	NUM
ejpam-3770	17	36	]	]	PUNCT
ejpam-3770	17	37	.	.	PUNCT
ejpam-3770	18	1	∗corresponding	∗corresponde	VERB
ejpam-3770	18	2	author	author	NOUN
ejpam-3770	18	3	.	.	PUNCT
ejpam-3770	19	1	doi	doi	NOUN
ejpam-3770	19	2	:	:	PUNCT
ejpam-3770	19	3	https://doi.org/10.29020/nybg.ejpam.v13i3.3770	https://doi.org/10.29020/nybg.ejpam.v13i3.3770	VERB
ejpam-3770	19	4	email	email	NOUN
ejpam-3770	19	5	addresses	address	NOUN
ejpam-3770	19	6	:	:	PUNCT
ejpam-3770	19	7	lkalantan@hotmail.com	lkalantan@hotmail.com	X
ejpam-3770	19	8	(	(	PUNCT
ejpam-3770	19	9	l.	l.	PROPN
ejpam-3770	19	10	kalantan	kalantan	PROPN
ejpam-3770	19	11	)	)	PUNCT
ejpam-3770	19	12	,	,	PUNCT
ejpam-3770	19	13	iealshamri@hotmail.com	iealshamri@hotmail.com	X
ejpam-3770	19	14	and	and	CCONJ
ejpam-3770	19	15	iealshamri@uhb.edu.sa	iealshamri@uhb.edu.sa	PROPN
ejpam-3770	19	16	(	(	PUNCT
ejpam-3770	19	17	i.	i.	PROPN
ejpam-3770	19	18	alshammari	alshammari	PROPN
ejpam-3770	19	19	)	)	PUNCT
ejpam-3770	19	20	https://www.ejpam.com	https://www.ejpam.com	NOUN
ejpam-3770	20	1	697	697	NUM
ejpam-3770	20	2	c	c	NOUN
ejpam-3770	20	3	©	©	NOUN
ejpam-3770	20	4	2020	2020	NUM
ejpam-3770	20	5	ejpam	ejpam	VERB
ejpam-3770	20	6	all	all	DET
ejpam-3770	20	7	rights	right	NOUN
ejpam-3770	20	8	reserved	reserve	VERB
ejpam-3770	20	9	.	.	PUNCT
ejpam-3770	21	1	i.	i.	PROPN
ejpam-3770	21	2	alshammari	alshammari	PROPN
ejpam-3770	21	3	,	,	PUNCT
ejpam-3770	21	4	l.	l.	PROPN
ejpam-3770	21	5	kalantan	kalantan	PROPN
ejpam-3770	21	6	/	/	SYM
ejpam-3770	21	7	eur	eur	PROPN
ejpam-3770	21	8	.	.	PUNCT
ejpam-3770	22	1	j.	j.	PROPN
ejpam-3770	22	2	pure	pure	PROPN
ejpam-3770	22	3	appl	appl	PROPN
ejpam-3770	22	4	.	.	PROPN
ejpam-3770	22	5	math	math	PROPN
ejpam-3770	22	6	,	,	PUNCT
ejpam-3770	22	7	13	13	NUM
ejpam-3770	22	8	(	(	PUNCT
ejpam-3770	22	9	3	3	NUM
ejpam-3770	22	10	)	)	PUNCT
ejpam-3770	22	11	(	(	PUNCT
ejpam-3770	22	12	2020	2020	NUM
ejpam-3770	22	13	)	)	PUNCT
ejpam-3770	22	14	,	,	PUNCT
ejpam-3770	22	15	697	697	NUM
ejpam-3770	22	16	-	-	SYM
ejpam-3770	22	17	700	700	NUM
ejpam-3770	22	18	698	698	NUM
ejpam-3770	22	19	since	since	SCONJ
ejpam-3770	22	20	any	any	DET
ejpam-3770	22	21	closed	closed	ADJ
ejpam-3770	22	22	domain	domain	NOUN
ejpam-3770	22	23	is	be	AUX
ejpam-3770	22	24	π	π	NOUN
ejpam-3770	22	25	-	-	ADJ
ejpam-3770	22	26	closed	closed	ADJ
ejpam-3770	22	27	and	and	CCONJ
ejpam-3770	23	1	any	any	DET
ejpam-3770	23	2	π	π	NOUN
ejpam-3770	23	3	-	-	VERB
ejpam-3770	23	4	closed	closed	ADJ
ejpam-3770	23	5	is	be	AUX
ejpam-3770	23	6	closed	closed	ADJ
ejpam-3770	23	7	,	,	PUNCT
ejpam-3770	23	8	then	then	ADV
ejpam-3770	23	9	it	it	PRON
ejpam-3770	23	10	is	be	AUX
ejpam-3770	23	11	clear	clear	ADJ
ejpam-3770	23	12	from	from	ADP
ejpam-3770	23	13	the	the	DET
ejpam-3770	23	14	definitions	definition	NOUN
ejpam-3770	23	15	that	that	SCONJ
ejpam-3770	23	16	normal	normal	ADJ
ejpam-3770	23	17	=	=	NOUN
ejpam-3770	23	18	⇒	⇒	X
ejpam-3770	23	19	π	π	ADJ
ejpam-3770	23	20	-	-	ADJ
ejpam-3770	23	21	normal	normal	ADJ
ejpam-3770	23	22	=	=	NOUN
ejpam-3770	23	23	⇒	⇒	X
ejpam-3770	23	24	quasi	quasi	ADJ
ejpam-3770	23	25	-	-	ADJ
ejpam-3770	23	26	normal	normal	ADJ
ejpam-3770	23	27	=	=	NOUN
ejpam-3770	23	28	⇒	⇒	NOUN
ejpam-3770	23	29	mildly	mildly	ADV
ejpam-3770	23	30	normal	normal	ADJ
ejpam-3770	23	31	.	.	PUNCT
ejpam-3770	24	1	recall	recall	VERB
ejpam-3770	24	2	that	that	PRON
ejpam-3770	24	3	two	two	NUM
ejpam-3770	24	4	countably	countably	ADV
ejpam-3770	24	5	infinite	infinite	ADJ
ejpam-3770	24	6	sets	set	NOUN
ejpam-3770	24	7	are	be	AUX
ejpam-3770	24	8	said	say	VERB
ejpam-3770	24	9	to	to	PART
ejpam-3770	24	10	be	be	AUX
ejpam-3770	24	11	almost	almost	ADV
ejpam-3770	24	12	disjoint	disjoint	ADJ
ejpam-3770	25	1	[	[	X
ejpam-3770	25	2	7	7	X
ejpam-3770	25	3	]	]	X
ejpam-3770	25	4	if	if	SCONJ
ejpam-3770	25	5	their	their	PRON
ejpam-3770	25	6	intersection	intersection	NOUN
ejpam-3770	25	7	is	be	AUX
ejpam-3770	25	8	finite	finite	ADJ
ejpam-3770	25	9	.	.	PUNCT
ejpam-3770	26	1	call	call	VERB
ejpam-3770	26	2	a	a	DET
ejpam-3770	26	3	subfamily	subfamily	NOUN
ejpam-3770	26	4	of	of	ADP
ejpam-3770	26	5	[	[	NOUN
ejpam-3770	26	6	ω]ω	ω]ω	NOUN
ejpam-3770	26	7	=	=	SYM
ejpam-3770	26	8	{	{	PUNCT
ejpam-3770	26	9	a	a	DET
ejpam-3770	26	10	⊂	⊂	PROPN
ejpam-3770	26	11	ω	ω	NOUN
ejpam-3770	26	12	:	:	PUNCT
ejpam-3770	26	13	a	a	PRON
ejpam-3770	26	14	is	be	AUX
ejpam-3770	26	15	infinite	infinite	ADJ
ejpam-3770	26	16	}	}	PUNCT
ejpam-3770	26	17	a	a	DET
ejpam-3770	26	18	mad	mad	ADJ
ejpam-3770	26	19	family	family	NOUN
ejpam-3770	27	1	[	[	X
ejpam-3770	27	2	7	7	X
ejpam-3770	27	3	]	]	PUNCT
ejpam-3770	27	4	on	on	ADP
ejpam-3770	27	5	ω	ω	NUM
ejpam-3770	27	6	if	if	SCONJ
ejpam-3770	27	7	it	it	PRON
ejpam-3770	27	8	is	be	AUX
ejpam-3770	27	9	a	a	DET
ejpam-3770	27	10	maximal	maximal	ADJ
ejpam-3770	27	11	(	(	PUNCT
ejpam-3770	27	12	with	with	ADP
ejpam-3770	27	13	respect	respect	NOUN
ejpam-3770	27	14	to	to	ADP
ejpam-3770	27	15	inclusion	inclusion	NOUN
ejpam-3770	27	16	)	)	PUNCT
ejpam-3770	27	17	pairwise	pairwise	NOUN
ejpam-3770	27	18	almost	almost	ADV
ejpam-3770	27	19	disjoint	disjoint	VERB
ejpam-3770	27	20	subfamily	subfamily	ADV
ejpam-3770	27	21	.	.	PUNCT
ejpam-3770	28	1	let	let	VERB
ejpam-3770	28	2	a	a	PRON
ejpam-3770	28	3	be	be	AUX
ejpam-3770	28	4	a	a	DET
ejpam-3770	28	5	pairwise	pairwise	NOUN
ejpam-3770	28	6	almost	almost	ADV
ejpam-3770	28	7	disjoint	disjoint	VERB
ejpam-3770	28	8	subfamily	subfamily	ADV
ejpam-3770	28	9	of	of	ADP
ejpam-3770	28	10	[	[	NOUN
ejpam-3770	28	11	ω]ω	ω]ω	NOUN
ejpam-3770	28	12	.	.	PUNCT
ejpam-3770	29	1	the	the	DET
ejpam-3770	29	2	mrówka	mrówka	PROPN
ejpam-3770	29	3	space	space	NOUN
ejpam-3770	29	4	ψ(a	ψ(a	PROPN
ejpam-3770	29	5	)	)	PUNCT
ejpam-3770	29	6	is	be	AUX
ejpam-3770	29	7	defined	define	VERB
ejpam-3770	29	8	as	as	SCONJ
ejpam-3770	29	9	follows	follow	VERB
ejpam-3770	29	10	:	:	PUNCT
ejpam-3770	29	11	the	the	DET
ejpam-3770	29	12	underlying	underlying	ADJ
ejpam-3770	29	13	set	set	NOUN
ejpam-3770	29	14	is	be	AUX
ejpam-3770	29	15	ω	ω	NOUN
ejpam-3770	29	16	∪	∪	X
ejpam-3770	29	17	a	a	PRON
ejpam-3770	29	18	,	,	PUNCT
ejpam-3770	29	19	each	each	DET
ejpam-3770	29	20	point	point	NOUN
ejpam-3770	29	21	of	of	ADP
ejpam-3770	29	22	ω	ω	PROPN
ejpam-3770	29	23	is	be	AUX
ejpam-3770	29	24	isolated	isolate	VERB
ejpam-3770	29	25	,	,	PUNCT
ejpam-3770	29	26	and	and	CCONJ
ejpam-3770	29	27	a	a	DET
ejpam-3770	29	28	basic	basic	ADJ
ejpam-3770	29	29	open	open	ADJ
ejpam-3770	29	30	neighborhood	neighborhood	NOUN
ejpam-3770	29	31	of	of	ADP
ejpam-3770	29	32	w	w	PROPN
ejpam-3770	29	33	∈	∈	PROPN
ejpam-3770	29	34	a	a	PRON
ejpam-3770	29	35	has	have	VERB
ejpam-3770	29	36	the	the	DET
ejpam-3770	29	37	form	form	NOUN
ejpam-3770	29	38	{	{	PUNCT
ejpam-3770	29	39	w	w	NOUN
ejpam-3770	29	40	}	}	PUNCT
ejpam-3770	29	41	∪	∪	NOUN
ejpam-3770	29	42	(	(	PUNCT
ejpam-3770	29	43	w	w	PROPN
ejpam-3770	29	44	\	\	PROPN
ejpam-3770	29	45	f	f	PROPN
ejpam-3770	29	46	)	)	PUNCT
ejpam-3770	29	47	,	,	PUNCT
ejpam-3770	29	48	with	with	ADP
ejpam-3770	29	49	f	f	PROPN
ejpam-3770	29	50	∈	∈	PROPN
ejpam-3770	30	1	[	[	X
ejpam-3770	30	2	ω]<ω	ω]<ω	NOUN
ejpam-3770	30	3	=	=	SYM
ejpam-3770	30	4	{	{	PUNCT
ejpam-3770	30	5	b	b	PROPN
ejpam-3770	30	6	⊆	⊆	NUM
ejpam-3770	30	7	ω	ω	NUM
ejpam-3770	30	8	:	:	PUNCT
ejpam-3770	30	9	b	b	NOUN
ejpam-3770	30	10	is	be	AUX
ejpam-3770	30	11	finite	finite	ADJ
ejpam-3770	30	12	}	}	PUNCT
ejpam-3770	30	13	.	.	PUNCT
ejpam-3770	31	1	2	2	X
ejpam-3770	31	2	.	.	X
ejpam-3770	31	3	main	main	ADJ
ejpam-3770	31	4	results	result	NOUN
ejpam-3770	31	5	it	it	PRON
ejpam-3770	31	6	is	be	AUX
ejpam-3770	31	7	well	well	ADV
ejpam-3770	31	8	known	know	VERB
ejpam-3770	31	9	that	that	SCONJ
ejpam-3770	31	10	there	there	PRON
ejpam-3770	31	11	exists	exist	VERB
ejpam-3770	31	12	an	an	DET
ejpam-3770	31	13	almost	almost	ADV
ejpam-3770	31	14	disjoint	disjoint	NOUN
ejpam-3770	31	15	family	family	NOUN
ejpam-3770	31	16	a	a	DET
ejpam-3770	31	17	⊂	⊂	PROPN
ejpam-3770	32	1	[	[	X
ejpam-3770	32	2	ω]ω	ω]ω	NOUN
ejpam-3770	32	3	such	such	ADJ
ejpam-3770	32	4	that	that	PRON
ejpam-3770	32	5	|a|	|a|	PROPN
ejpam-3770	32	6	>	>	X
ejpam-3770	32	7	ω	ω	PROPN
ejpam-3770	32	8	and	and	CCONJ
ejpam-3770	32	9	the	the	DET
ejpam-3770	32	10	mrówka	mrówka	NOUN
ejpam-3770	32	11	space	space	NOUN
ejpam-3770	32	12	ψ(a	ψ(a	PROPN
ejpam-3770	32	13	)	)	PUNCT
ejpam-3770	32	14	is	be	AUX
ejpam-3770	32	15	a	a	DET
ejpam-3770	32	16	tychonoff	tychonoff	NOUN
ejpam-3770	32	17	,	,	PUNCT
ejpam-3770	32	18	separable	separable	ADJ
ejpam-3770	32	19	,	,	PUNCT
ejpam-3770	32	20	first	first	ADV
ejpam-3770	32	21	countable	countable	ADJ
ejpam-3770	32	22	,	,	PUNCT
ejpam-3770	32	23	and	and	CCONJ
ejpam-3770	32	24	locally	locally	ADV
ejpam-3770	32	25	compact	compact	ADJ
ejpam-3770	32	26	space	space	NOUN
ejpam-3770	32	27	which	which	PRON
ejpam-3770	32	28	is	be	AUX
ejpam-3770	32	29	neither	neither	CCONJ
ejpam-3770	32	30	countably	countably	ADV
ejpam-3770	32	31	compact	compact	ADJ
ejpam-3770	32	32	nor	nor	CCONJ
ejpam-3770	32	33	normal	normal	ADJ
ejpam-3770	32	34	.	.	PUNCT
ejpam-3770	33	1	and	and	CCONJ
ejpam-3770	33	2	a	a	PRON
ejpam-3770	33	3	is	be	AUX
ejpam-3770	33	4	a	a	DET
ejpam-3770	33	5	mad	mad	ADJ
ejpam-3770	33	6	family	family	NOUN
ejpam-3770	33	7	if	if	SCONJ
ejpam-3770	33	8	and	and	CCONJ
ejpam-3770	33	9	only	only	ADV
ejpam-3770	33	10	if	if	SCONJ
ejpam-3770	33	11	ψ(a	ψ(a	PROPN
ejpam-3770	33	12	)	)	PUNCT
ejpam-3770	33	13	is	be	AUX
ejpam-3770	33	14	pseudo	pseudo	NOUN
ejpam-3770	33	15	compact	compact	ADJ
ejpam-3770	33	16	[	[	X
ejpam-3770	33	17	4	4	NUM
ejpam-3770	33	18	]	]	PUNCT
ejpam-3770	33	19	.	.	PUNCT
ejpam-3770	34	1	the	the	DET
ejpam-3770	34	2	interesting	interesting	ADJ
ejpam-3770	34	3	thing	thing	NOUN
ejpam-3770	34	4	about	about	ADP
ejpam-3770	34	5	mrówka	mrówka	NOUN
ejpam-3770	34	6	spaces	space	NOUN
ejpam-3770	34	7	is	be	AUX
ejpam-3770	34	8	that	that	SCONJ
ejpam-3770	34	9	some	some	DET
ejpam-3770	34	10	mrówka	mrówka	NUM
ejpam-3770	34	11	spaces	space	NOUN
ejpam-3770	34	12	are	be	AUX
ejpam-3770	34	13	quasinormal	quasinormal	ADJ
ejpam-3770	34	14	and	and	CCONJ
ejpam-3770	34	15	some	some	PRON
ejpam-3770	34	16	are	be	AUX
ejpam-3770	34	17	not	not	PART
ejpam-3770	34	18	.	.	PUNCT
ejpam-3770	35	1	in	in	ADP
ejpam-3770	35	2	[	[	X
ejpam-3770	35	3	2	2	NUM
ejpam-3770	35	4	,	,	PUNCT
ejpam-3770	35	5	1.3	1.3	NUM
ejpam-3770	35	6	]	]	PUNCT
ejpam-3770	35	7	,	,	PUNCT
ejpam-3770	35	8	a	a	DET
ejpam-3770	35	9	mad	mad	ADJ
ejpam-3770	35	10	family	family	NOUN
ejpam-3770	35	11	r	r	NOUN
ejpam-3770	35	12	⊂	⊂	PROPN
ejpam-3770	36	1	[	[	X
ejpam-3770	36	2	ω]ω	ω]ω	NOUN
ejpam-3770	36	3	was	be	AUX
ejpam-3770	36	4	constructed	construct	VERB
ejpam-3770	36	5	such	such	ADJ
ejpam-3770	36	6	that	that	SCONJ
ejpam-3770	36	7	the	the	DET
ejpam-3770	36	8	mrówka	mrówka	PROPN
ejpam-3770	36	9	space	space	NOUN
ejpam-3770	36	10	ψ(r	ψ(r	NOUN
ejpam-3770	36	11	)	)	PUNCT
ejpam-3770	36	12	is	be	AUX
ejpam-3770	36	13	not	not	PART
ejpam-3770	36	14	mildly	mildly	ADV
ejpam-3770	36	15	normal	normal	ADJ
ejpam-3770	36	16	.	.	PUNCT
ejpam-3770	37	1	so	so	ADV
ejpam-3770	37	2	,	,	PUNCT
ejpam-3770	37	3	such	such	DET
ejpam-3770	37	4	a	a	DET
ejpam-3770	37	5	mrówka	mrówka	NOUN
ejpam-3770	37	6	space	space	NOUN
ejpam-3770	37	7	can	can	AUX
ejpam-3770	37	8	not	not	PART
ejpam-3770	37	9	be	be	AUX
ejpam-3770	37	10	quasinormal	quasinormal	ADJ
ejpam-3770	37	11	.	.	PUNCT
ejpam-3770	38	1	now	now	ADV
ejpam-3770	38	2	,	,	PUNCT
ejpam-3770	38	3	we	we	PRON
ejpam-3770	38	4	use	use	VERB
ejpam-3770	38	5	the	the	DET
ejpam-3770	38	6	continuum	continuum	ADJ
ejpam-3770	38	7	hypothesis	hypothesis	NOUN
ejpam-3770	38	8	(	(	PUNCT
ejpam-3770	38	9	ch	ch	NOUN
ejpam-3770	38	10	)	)	PUNCT
ejpam-3770	38	11	to	to	PART
ejpam-3770	38	12	produce	produce	VERB
ejpam-3770	38	13	a	a	DET
ejpam-3770	38	14	mad	mad	ADJ
ejpam-3770	38	15	family	family	NOUN
ejpam-3770	38	16	a	a	DET
ejpam-3770	38	17	⊂	⊂	PROPN
ejpam-3770	39	1	[	[	X
ejpam-3770	39	2	ω]ω	ω]ω	NOUN
ejpam-3770	39	3	such	such	ADJ
ejpam-3770	39	4	that	that	SCONJ
ejpam-3770	39	5	its	its	PRON
ejpam-3770	39	6	mrówka	mrówka	NOUN
ejpam-3770	39	7	space	space	NOUN
ejpam-3770	39	8	ψ(a	ψ(a	PROPN
ejpam-3770	39	9	)	)	PUNCT
ejpam-3770	39	10	is	be	AUX
ejpam-3770	39	11	quasi	quasi	ADJ
ejpam-3770	39	12	-	-	ADJ
ejpam-3770	39	13	normal	normal	ADJ
ejpam-3770	39	14	.	.	PUNCT
ejpam-3770	40	1	the	the	DET
ejpam-3770	40	2	existence	existence	NOUN
ejpam-3770	40	3	of	of	ADP
ejpam-3770	40	4	such	such	DET
ejpam-3770	40	5	a	a	DET
ejpam-3770	40	6	mad	mad	ADJ
ejpam-3770	40	7	family	family	NOUN
ejpam-3770	40	8	in	in	ADP
ejpam-3770	40	9	zfc	zfc	PROPN
ejpam-3770	40	10	is	be	AUX
ejpam-3770	40	11	still	still	ADV
ejpam-3770	40	12	unsettled	unsettle	VERB
ejpam-3770	40	13	.	.	PUNCT
ejpam-3770	41	1	proposition	proposition	NOUN
ejpam-3770	41	2	1	1	NUM
ejpam-3770	41	3	.	.	PUNCT
ejpam-3770	42	1	under	under	ADP
ejpam-3770	42	2	ch	ch	NOUN
ejpam-3770	42	3	,	,	PUNCT
ejpam-3770	42	4	there	there	PRON
ejpam-3770	42	5	exists	exist	VERB
ejpam-3770	42	6	a	a	DET
ejpam-3770	42	7	mad	mad	ADJ
ejpam-3770	42	8	family	family	NOUN
ejpam-3770	42	9	a	a	DET
ejpam-3770	42	10	such	such	ADJ
ejpam-3770	42	11	that	that	DET
ejpam-3770	42	12	ψ(a	ψ(a	PROPN
ejpam-3770	42	13	)	)	PUNCT
ejpam-3770	42	14	is	be	AUX
ejpam-3770	42	15	quasi	quasi	ADJ
ejpam-3770	42	16	-	-	ADJ
ejpam-3770	42	17	normal	normal	ADJ
ejpam-3770	42	18	.	.	PUNCT
ejpam-3770	43	1	proof	proof	NOUN
ejpam-3770	43	2	.	.	PUNCT
ejpam-3770	44	1	let	let	VERB
ejpam-3770	44	2	p	p	NOUN
ejpam-3770	44	3	=	=	PUNCT
ejpam-3770	44	4	{	{	PUNCT
ejpam-3770	44	5	pi	pi	NOUN
ejpam-3770	44	6	:	:	PUNCT
ejpam-3770	44	7	i	i	PRON
ejpam-3770	44	8	<	<	X
ejpam-3770	44	9	ω	ω	PROPN
ejpam-3770	44	10	}	}	PUNCT
ejpam-3770	44	11	be	be	AUX
ejpam-3770	44	12	a	a	DET
ejpam-3770	44	13	partition	partition	NOUN
ejpam-3770	44	14	of	of	ADP
ejpam-3770	44	15	ω	ω	NUM
ejpam-3770	44	16	such	such	ADJ
ejpam-3770	44	17	that	that	PRON
ejpam-3770	44	18	for	for	ADP
ejpam-3770	44	19	each	each	PRON
ejpam-3770	44	20	i	i	PRON
ejpam-3770	44	21	<	<	X
ejpam-3770	44	22	ω	ω	PROPN
ejpam-3770	44	23	,	,	PUNCT
ejpam-3770	44	24	pi	pi	PROPN
ejpam-3770	44	25	is	be	AUX
ejpam-3770	44	26	infinite	infinite	ADJ
ejpam-3770	44	27	.	.	PUNCT
ejpam-3770	45	1	we	we	PRON
ejpam-3770	45	2	will	will	AUX
ejpam-3770	45	3	use	use	VERB
ejpam-3770	45	4	p	p	NOUN
ejpam-3770	45	5	to	to	PART
ejpam-3770	45	6	build	build	VERB
ejpam-3770	45	7	our	our	PRON
ejpam-3770	45	8	mad	mad	ADJ
ejpam-3770	45	9	family	family	NOUN
ejpam-3770	45	10	.	.	PUNCT
ejpam-3770	46	1	let	let	VERB
ejpam-3770	47	1	e	e	NOUN
ejpam-3770	48	1	=	=	PUNCT
ejpam-3770	49	1	[	[	X
ejpam-3770	49	2	[	[	X
ejpam-3770	49	3	ω]ω]<ω	ω]ω]<ω	X
ejpam-3770	49	4	.	.	PUNCT
ejpam-3770	50	1	that	that	PRON
ejpam-3770	50	2	is	be	AUX
ejpam-3770	50	3	,	,	PUNCT
ejpam-3770	50	4	the	the	DET
ejpam-3770	50	5	family	family	NOUN
ejpam-3770	50	6	of	of	ADP
ejpam-3770	50	7	all	all	DET
ejpam-3770	50	8	finite	finite	ADJ
ejpam-3770	50	9	subsets	subset	NOUN
ejpam-3770	50	10	of	of	ADP
ejpam-3770	50	11	[	[	X
ejpam-3770	50	12	ω]ω	ω]ω	NOUN
ejpam-3770	50	13	.	.	PUNCT
ejpam-3770	50	14	consider	consider	VERB
ejpam-3770	50	15	the	the	DET
ejpam-3770	50	16	family	family	NOUN
ejpam-3770	50	17	b	b	PROPN
ejpam-3770	50	18	=	=	PUNCT
ejpam-3770	50	19	{	{	PUNCT
ejpam-3770	50	20	〈	〈	PROPN
ejpam-3770	50	21	c	c	X
ejpam-3770	50	22	,	,	PUNCT
ejpam-3770	50	23	d	d	PROPN
ejpam-3770	50	24	〉	〉	NOUN
ejpam-3770	50	25	:	:	PUNCT
ejpam-3770	50	26	c	c	X
ejpam-3770	50	27	,	,	PUNCT
ejpam-3770	50	28	d	d	PROPN
ejpam-3770	50	29	∈	∈	PROPN
ejpam-3770	50	30	e	e	X
ejpam-3770	50	31	,	,	PUNCT
ejpam-3770	50	32	(	(	PUNCT
ejpam-3770	50	33	∩c	∩c	NOUN
ejpam-3770	50	34	)	)	PUNCT
ejpam-3770	50	35	∩	∩	NOUN
ejpam-3770	50	36	(	(	PUNCT
ejpam-3770	50	37	∩d	∩d	NOUN
ejpam-3770	50	38	)	)	PUNCT
ejpam-3770	50	39	=	=	SYM
ejpam-3770	50	40	∅	∅	NOUN
ejpam-3770	50	41	}	}	PUNCT
ejpam-3770	50	42	.	.	PUNCT
ejpam-3770	51	1	using	use	VERB
ejpam-3770	51	2	ch	ch	NOUN
ejpam-3770	51	3	,	,	PUNCT
ejpam-3770	51	4	we	we	PRON
ejpam-3770	51	5	can	can	AUX
ejpam-3770	51	6	write	write	VERB
ejpam-3770	51	7	b	b	NOUN
ejpam-3770	51	8	=	=	PRON
ejpam-3770	51	9	{	{	PUNCT
ejpam-3770	51	10	〈	〈	PROPN
ejpam-3770	51	11	cα	cα	PROPN
ejpam-3770	51	12	,	,	PUNCT
ejpam-3770	51	13	dα	dα	PROPN
ejpam-3770	51	14	〉	〉	NOUN
ejpam-3770	51	15	:	:	PUNCT
ejpam-3770	51	16	α	α	PROPN
ejpam-3770	51	17	<	<	X
ejpam-3770	51	18	ω1	ω1	PROPN
ejpam-3770	51	19	}	}	PUNCT
ejpam-3770	51	20	.	.	PUNCT
ejpam-3770	52	1	we	we	PRON
ejpam-3770	52	2	will	will	AUX
ejpam-3770	52	3	build	build	VERB
ejpam-3770	52	4	our	our	PRON
ejpam-3770	52	5	mad	mad	ADJ
ejpam-3770	52	6	family	family	NOUN
ejpam-3770	52	7	recursively	recursively	ADV
ejpam-3770	52	8	on	on	ADP
ejpam-3770	52	9	α	α	PROPN
ejpam-3770	52	10	<	<	X
ejpam-3770	52	11	ω1	ω1	PROPN
ejpam-3770	52	12	.	.	PROPN
ejpam-3770	52	13	for	for	ADP
ejpam-3770	52	14	α	α	NOUN
ejpam-3770	52	15	=	=	SYM
ejpam-3770	52	16	0	0	PROPN
ejpam-3770	52	17	,	,	PUNCT
ejpam-3770	52	18	c0	c0	NOUN
ejpam-3770	52	19	=	=	PUNCT
ejpam-3770	52	20	{	{	PUNCT
ejpam-3770	52	21	a0,1	a0,1	PROPN
ejpam-3770	52	22	,	,	PUNCT
ejpam-3770	52	23	...	...	PUNCT
ejpam-3770	52	24	,	,	PUNCT
ejpam-3770	52	25	a0,n	a0,n	PROPN
ejpam-3770	52	26	}	}	PUNCT
ejpam-3770	52	27	and	and	CCONJ
ejpam-3770	52	28	d0	d0	NOUN
ejpam-3770	52	29	=	=	SYM
ejpam-3770	52	30	{	{	PUNCT
ejpam-3770	52	31	b0,1	b0,1	NOUN
ejpam-3770	52	32	,	,	PUNCT
ejpam-3770	52	33	...	...	PUNCT
ejpam-3770	52	34	,	,	PUNCT
ejpam-3770	52	35	b0,m	b0,m	PROPN
ejpam-3770	52	36	}	}	PUNCT
ejpam-3770	52	37	for	for	ADP
ejpam-3770	52	38	some	some	DET
ejpam-3770	52	39	n	n	CCONJ
ejpam-3770	52	40	,	,	PUNCT
ejpam-3770	52	41	m	m	PROPN
ejpam-3770	52	42	∈	∈	NOUN
ejpam-3770	52	43	n.	n.	NOUN
ejpam-3770	52	44	if	if	SCONJ
ejpam-3770	52	45	for	for	ADP
ejpam-3770	52	46	each	each	DET
ejpam-3770	52	47	i	i	NOUN
ejpam-3770	52	48	≤	≤	NOUN
ejpam-3770	52	49	n	n	CCONJ
ejpam-3770	52	50	and	and	CCONJ
ejpam-3770	52	51	each	each	DET
ejpam-3770	52	52	j	j	PROPN
ejpam-3770	52	53	≤	≤	ADV
ejpam-3770	52	54	m	m	VERB
ejpam-3770	52	55	there	there	ADV
ejpam-3770	52	56	exist	exist	VERB
ejpam-3770	52	57	g0,i	g0,i	PROPN
ejpam-3770	52	58	∈	∈	PROPN
ejpam-3770	53	1	[	[	X
ejpam-3770	53	2	a0,i	a0,i	X
ejpam-3770	53	3	]	]	X
ejpam-3770	53	4	ω	ω	PROPN
ejpam-3770	53	5	and	and	CCONJ
ejpam-3770	53	6	h0,j	h0,j	PROPN
ejpam-3770	53	7	∈	∈	PROPN
ejpam-3770	54	1	[	[	X
ejpam-3770	54	2	b0,j	b0,j	X
ejpam-3770	54	3	]	]	PUNCT
ejpam-3770	54	4	ω	ω	NUM
ejpam-3770	54	5	such	such	ADJ
ejpam-3770	54	6	that	that	SCONJ
ejpam-3770	54	7	p	p	PROPN
ejpam-3770	54	8	∪{g0,i	∪{g0,i	NOUN
ejpam-3770	54	9	}	}	PUNCT
ejpam-3770	54	10	and	and	CCONJ
ejpam-3770	54	11	p	p	NOUN
ejpam-3770	54	12	∪{h0,j	∪{h0,j	NOUN
ejpam-3770	54	13	}	}	PUNCT
ejpam-3770	54	14	are	be	AUX
ejpam-3770	54	15	almost	almost	ADV
ejpam-3770	54	16	disjoint	disjoint	ADJ
ejpam-3770	54	17	,	,	PUNCT
ejpam-3770	54	18	let	let	VERB
ejpam-3770	54	19	e0	e0	PROPN
ejpam-3770	54	20	=	=	SYM
ejpam-3770	54	21	(	(	PUNCT
ejpam-3770	54	22	⋃n	⋃n	NOUN
ejpam-3770	54	23	i=1g0,i)∪	i=1g0,i)∪	PROPN
ejpam-3770	54	24	(	(	PUNCT
ejpam-3770	54	25	⋃m	⋃m	PROPN
ejpam-3770	54	26	j=1h0,j	j=1h0,j	PROPN
ejpam-3770	54	27	)	)	PUNCT
ejpam-3770	54	28	and	and	CCONJ
ejpam-3770	54	29	put	put	VERB
ejpam-3770	54	30	a0	a0	NOUN
ejpam-3770	54	31	=	=	PUNCT
ejpam-3770	55	1	p	p	NOUN
ejpam-3770	55	2	∪	∪	X
ejpam-3770	55	3	{	{	PUNCT
ejpam-3770	55	4	e0	e0	PROPN
ejpam-3770	55	5	}	}	PUNCT
ejpam-3770	55	6	,	,	PUNCT
ejpam-3770	55	7	which	which	PRON
ejpam-3770	55	8	is	be	AUX
ejpam-3770	55	9	almost	almost	ADV
ejpam-3770	55	10	disjoint	disjoint	ADJ
ejpam-3770	55	11	.	.	PUNCT
ejpam-3770	56	1	otherwise	otherwise	ADV
ejpam-3770	56	2	let	let	VERB
ejpam-3770	56	3	a0	a0	NOUN
ejpam-3770	56	4	=	=	PUNCT
ejpam-3770	57	1	p.	p.	NOUN
ejpam-3770	57	2	now	now	ADV
ejpam-3770	57	3	,	,	PUNCT
ejpam-3770	57	4	for	for	ADP
ejpam-3770	57	5	each	each	DET
ejpam-3770	57	6	0	0	NUM
ejpam-3770	57	7	<	<	X
ejpam-3770	57	8	α	α	X
ejpam-3770	57	9	<	<	X
ejpam-3770	57	10	ω1	ω1	PROPN
ejpam-3770	57	11	,	,	PUNCT
ejpam-3770	57	12	assume	assume	VERB
ejpam-3770	57	13	we	we	PRON
ejpam-3770	57	14	have	have	AUX
ejpam-3770	57	15	built	build	VERB
ejpam-3770	57	16	aβ	aβ	NOUN
ejpam-3770	57	17	for	for	ADP
ejpam-3770	57	18	each	each	DET
ejpam-3770	57	19	β	β	X
ejpam-3770	57	20	<	<	X
ejpam-3770	57	21	α	α	X
ejpam-3770	57	22	.	.	PUNCT
ejpam-3770	58	1	if	if	SCONJ
ejpam-3770	58	2	α	α	PRON
ejpam-3770	58	3	is	be	AUX
ejpam-3770	58	4	a	a	DET
ejpam-3770	58	5	limit	limit	NOUN
ejpam-3770	58	6	ordinal	ordinal	ADJ
ejpam-3770	58	7	,	,	PUNCT
ejpam-3770	58	8	let	let	VERB
ejpam-3770	58	9	a′α	a′α	ADP
ejpam-3770	58	10	=	=	PUNCT
ejpam-3770	58	11	⋃	⋃	NOUN
ejpam-3770	58	12	β	β	NOUN
ejpam-3770	58	13	<	<	X
ejpam-3770	58	14	αaβ	αaβ	NOUN
ejpam-3770	58	15	.	.	PUNCT
ejpam-3770	59	1	it	it	PRON
ejpam-3770	59	2	is	be	AUX
ejpam-3770	59	3	clear	clear	ADJ
ejpam-3770	59	4	that	that	SCONJ
ejpam-3770	59	5	a′α	a′α	ADJ
ejpam-3770	59	6	is	be	AUX
ejpam-3770	59	7	an	an	DET
ejpam-3770	59	8	almost	almost	ADV
ejpam-3770	59	9	disjoint	disjoint	NOUN
ejpam-3770	59	10	family	family	NOUN
ejpam-3770	59	11	.	.	PUNCT
ejpam-3770	60	1	now	now	ADV
ejpam-3770	60	2	consider	consider	VERB
ejpam-3770	60	3	〈	〈	PROPN
ejpam-3770	60	4	cα	cα	ADP
ejpam-3770	60	5	,	,	PUNCT
ejpam-3770	60	6	dα	dα	PROPN
ejpam-3770	60	7	〉	〉	PROPN
ejpam-3770	60	8	,	,	PUNCT
ejpam-3770	60	9	we	we	PRON
ejpam-3770	60	10	write	write	VERB
ejpam-3770	60	11	cα	cα	ADP
ejpam-3770	60	12	=	=	SYM
ejpam-3770	60	13	{	{	PUNCT
ejpam-3770	60	14	aα,1	aα,1	PROPN
ejpam-3770	60	15	,	,	PUNCT
ejpam-3770	60	16	...	...	PUNCT
ejpam-3770	60	17	,	,	PUNCT
ejpam-3770	60	18	aα	aα	NOUN
ejpam-3770	60	19	,	,	PUNCT
ejpam-3770	60	20	n	n	CCONJ
ejpam-3770	60	21	}	}	PUNCT
ejpam-3770	60	22	and	and	CCONJ
ejpam-3770	60	23	dα	dα	ADJ
ejpam-3770	60	24	=	=	PUNCT
ejpam-3770	60	25	{	{	PUNCT
ejpam-3770	60	26	bα,1	bα,1	NOUN
ejpam-3770	60	27	,	,	PUNCT
ejpam-3770	60	28	...	...	PUNCT
ejpam-3770	60	29	,	,	PUNCT
ejpam-3770	60	30	bα	bα	PROPN
ejpam-3770	60	31	,	,	PUNCT
ejpam-3770	60	32	m	m	VERB
ejpam-3770	60	33	}	}	PUNCT
ejpam-3770	60	34	for	for	ADP
ejpam-3770	60	35	some	some	DET
ejpam-3770	60	36	n	n	CCONJ
ejpam-3770	60	37	,	,	PUNCT
ejpam-3770	60	38	m	m	PROPN
ejpam-3770	60	39	∈	∈	ADJ
ejpam-3770	60	40	n.	n.	NOUN
ejpam-3770	60	41	we	we	PRON
ejpam-3770	60	42	proceed	proceed	VERB
ejpam-3770	60	43	as	as	ADP
ejpam-3770	60	44	before	before	ADV
ejpam-3770	60	45	,	,	PUNCT
ejpam-3770	60	46	if	if	SCONJ
ejpam-3770	60	47	for	for	ADP
ejpam-3770	60	48	each	each	DET
ejpam-3770	60	49	i	i	NOUN
ejpam-3770	60	50	≤	≤	NOUN
ejpam-3770	60	51	n	n	CCONJ
ejpam-3770	60	52	and	and	CCONJ
ejpam-3770	60	53	each	each	DET
ejpam-3770	60	54	j	j	PROPN
ejpam-3770	61	1	≤	≤	ADV
ejpam-3770	61	2	m	m	VERB
ejpam-3770	61	3	there	there	ADV
ejpam-3770	61	4	exist	exist	VERB
ejpam-3770	61	5	gα	gα	ADP
ejpam-3770	61	6	,	,	PUNCT
ejpam-3770	61	7	i	i	PRON
ejpam-3770	61	8	∈	∈	PROPN
ejpam-3770	62	1	[	[	X
ejpam-3770	62	2	aα	aα	NOUN
ejpam-3770	62	3	,	,	PUNCT
ejpam-3770	62	4	i	i	PRON
ejpam-3770	62	5	]	]	PUNCT
ejpam-3770	62	6	ω	ω	PROPN
ejpam-3770	62	7	and	and	CCONJ
ejpam-3770	62	8	hα	hα	PROPN
ejpam-3770	62	9	,	,	PUNCT
ejpam-3770	62	10	j	j	PROPN
ejpam-3770	62	11	∈	∈	PROPN
ejpam-3770	63	1	[	[	X
ejpam-3770	63	2	bα	bα	PROPN
ejpam-3770	63	3	,	,	PUNCT
ejpam-3770	63	4	j	j	PROPN
ejpam-3770	63	5	]	]	PUNCT
ejpam-3770	64	1	ω	ω	NUM
ejpam-3770	64	2	such	such	ADJ
ejpam-3770	64	3	that	that	SCONJ
ejpam-3770	64	4	a′α	a′α	ADP
ejpam-3770	64	5	∪	∪	ADJ
ejpam-3770	64	6	{	{	PUNCT
ejpam-3770	64	7	gα	gα	NOUN
ejpam-3770	64	8	,	,	PUNCT
ejpam-3770	64	9	i	i	PROPN
ejpam-3770	64	10	}	}	PUNCT
ejpam-3770	64	11	and	and	CCONJ
ejpam-3770	64	12	a′α	a′α	ADV
ejpam-3770	64	13	∪	∪	ADV
ejpam-3770	64	14	{	{	PUNCT
ejpam-3770	64	15	hα	hα	PROPN
ejpam-3770	64	16	,	,	PUNCT
ejpam-3770	64	17	j	j	NOUN
ejpam-3770	64	18	}	}	PUNCT
ejpam-3770	64	19	are	be	AUX
ejpam-3770	64	20	almost	almost	ADV
ejpam-3770	64	21	disjoint	disjoint	ADJ
ejpam-3770	64	22	,	,	PUNCT
ejpam-3770	64	23	let	let	VERB
ejpam-3770	64	24	eα	eα	NOUN
ejpam-3770	64	25	=	=	PUNCT
ejpam-3770	64	26	i.	i.	NOUN
ejpam-3770	64	27	alshammari	alshammari	PROPN
ejpam-3770	64	28	,	,	PUNCT
ejpam-3770	64	29	l.	l.	PROPN
ejpam-3770	64	30	kalantan	kalantan	PROPN
ejpam-3770	64	31	/	/	SYM
ejpam-3770	64	32	eur	eur	PROPN
ejpam-3770	64	33	.	.	PUNCT
ejpam-3770	65	1	j.	j.	PROPN
ejpam-3770	65	2	pure	pure	PROPN
ejpam-3770	65	3	appl	appl	PROPN
ejpam-3770	65	4	.	.	PROPN
ejpam-3770	65	5	math	math	PROPN
ejpam-3770	65	6	,	,	PUNCT
ejpam-3770	65	7	13	13	NUM
ejpam-3770	65	8	(	(	PUNCT
ejpam-3770	65	9	3	3	NUM
ejpam-3770	65	10	)	)	PUNCT
ejpam-3770	65	11	(	(	PUNCT
ejpam-3770	65	12	2020	2020	NUM
ejpam-3770	65	13	)	)	PUNCT
ejpam-3770	65	14	,	,	PUNCT
ejpam-3770	65	15	697	697	NUM
ejpam-3770	65	16	-	-	SYM
ejpam-3770	65	17	700	700	NUM
ejpam-3770	65	18	699	699	NUM
ejpam-3770	65	19	(	(	PUNCT
ejpam-3770	65	20	⋃n	⋃n	NOUN
ejpam-3770	65	21	i=1gα	i=1gα	NUM
ejpam-3770	65	22	,	,	PUNCT
ejpam-3770	65	23	i)∪	i)∪	NOUN
ejpam-3770	65	24	(	(	PUNCT
ejpam-3770	65	25	⋃m	⋃m	PROPN
ejpam-3770	65	26	j=1hα	j=1hα	PROPN
ejpam-3770	65	27	,	,	PUNCT
ejpam-3770	65	28	j	j	PROPN
ejpam-3770	65	29	)	)	PUNCT
ejpam-3770	65	30	and	and	CCONJ
ejpam-3770	65	31	put	put	VERB
ejpam-3770	65	32	aα	aα	NOUN
ejpam-3770	65	33	=	=	SYM
ejpam-3770	65	34	a′α∪{eα	a′α∪{eα	NOUN
ejpam-3770	65	35	}	}	PUNCT
ejpam-3770	65	36	.	.	PUNCT
ejpam-3770	66	1	otherwise	otherwise	ADV
ejpam-3770	66	2	let	let	VERB
ejpam-3770	66	3	aα	aα	NOUN
ejpam-3770	66	4	=	=	SYM
ejpam-3770	67	1	a′α	a′α	PROPN
ejpam-3770	67	2	.	.	PUNCT
ejpam-3770	68	1	if	if	SCONJ
ejpam-3770	68	2	α	α	PRON
ejpam-3770	68	3	=	=	SYM
ejpam-3770	68	4	β+1	β+1	NOUN
ejpam-3770	68	5	,	,	PUNCT
ejpam-3770	68	6	let	let	VERB
ejpam-3770	68	7	a′α	a′α	VERB
ejpam-3770	68	8	=	=	PRON
ejpam-3770	68	9	aβ	aβ	PROPN
ejpam-3770	68	10	and	and	CCONJ
ejpam-3770	68	11	consider	consider	VERB
ejpam-3770	68	12	〈	〈	PROPN
ejpam-3770	68	13	cα	cα	ADP
ejpam-3770	68	14	,	,	PUNCT
ejpam-3770	68	15	dα	dα	PROPN
ejpam-3770	68	16	〉	〉	PROPN
ejpam-3770	68	17	.	.	PUNCT
ejpam-3770	69	1	construct	construct	VERB
ejpam-3770	69	2	aα	aα	NOUN
ejpam-3770	69	3	by	by	ADP
ejpam-3770	69	4	doing	do	VERB
ejpam-3770	69	5	the	the	DET
ejpam-3770	69	6	process	process	NOUN
ejpam-3770	69	7	as	as	ADP
ejpam-3770	69	8	before	before	ADV
ejpam-3770	69	9	.	.	PUNCT
ejpam-3770	70	1	finally	finally	ADV
ejpam-3770	70	2	,	,	PUNCT
ejpam-3770	70	3	let	let	VERB
ejpam-3770	70	4	a	a	DET
ejpam-3770	70	5	=	=	PUNCT
ejpam-3770	70	6	⋃	⋃	ADP
ejpam-3770	70	7	α	α	NOUN
ejpam-3770	70	8	<	<	X
ejpam-3770	70	9	ω1	ω1	PROPN
ejpam-3770	70	10	aα	aα	NOUN
ejpam-3770	70	11	.	.	PUNCT
ejpam-3770	71	1	clearly	clearly	ADV
ejpam-3770	71	2	,	,	PUNCT
ejpam-3770	71	3	a	a	PRON
ejpam-3770	71	4	is	be	AUX
ejpam-3770	71	5	almost	almost	ADV
ejpam-3770	71	6	disjoint	disjoint	ADJ
ejpam-3770	71	7	.	.	PUNCT
ejpam-3770	72	1	in	in	ADP
ejpam-3770	72	2	order	order	NOUN
ejpam-3770	72	3	to	to	PART
ejpam-3770	72	4	show	show	VERB
ejpam-3770	72	5	that	that	SCONJ
ejpam-3770	72	6	a	a	PRON
ejpam-3770	72	7	is	be	AUX
ejpam-3770	72	8	maximal	maximal	ADJ
ejpam-3770	72	9	,	,	PUNCT
ejpam-3770	72	10	let	let	VERB
ejpam-3770	72	11	m	m	PRON
ejpam-3770	72	12	be	be	AUX
ejpam-3770	72	13	any	any	DET
ejpam-3770	72	14	infinite	infinite	ADJ
ejpam-3770	72	15	subset	subset	NOUN
ejpam-3770	72	16	of	of	ADP
ejpam-3770	72	17	ω	ω	PROPN
ejpam-3770	72	18	.	.	PUNCT
ejpam-3770	73	1	we	we	PRON
ejpam-3770	73	2	need	need	VERB
ejpam-3770	73	3	to	to	PART
ejpam-3770	73	4	show	show	VERB
ejpam-3770	73	5	that	that	SCONJ
ejpam-3770	73	6	there	there	PRON
ejpam-3770	73	7	exists	exist	VERB
ejpam-3770	73	8	e	e	NOUN
ejpam-3770	73	9	∈	∈	PROPN
ejpam-3770	73	10	a	a	DET
ejpam-3770	73	11	such	such	ADJ
ejpam-3770	73	12	that	that	PRON
ejpam-3770	73	13	e	e	X
ejpam-3770	73	14	∩m	∩m	PROPN
ejpam-3770	73	15	is	be	AUX
ejpam-3770	73	16	infinite	infinite	ADJ
ejpam-3770	73	17	.	.	PUNCT
ejpam-3770	73	18	suppose	suppose	VERB
ejpam-3770	73	19	that	that	SCONJ
ejpam-3770	73	20	for	for	ADP
ejpam-3770	73	21	each	each	DET
ejpam-3770	73	22	e	e	PROPN
ejpam-3770	73	23	∈	∈	PROPN
ejpam-3770	73	24	a	a	PRON
ejpam-3770	73	25	,	,	PUNCT
ejpam-3770	73	26	|e	|e	PROPN
ejpam-3770	73	27	∩m	∩m	PROPN
ejpam-3770	74	1	|	|	CCONJ
ejpam-3770	74	2	<	<	X
ejpam-3770	74	3	ω	ω	PROPN
ejpam-3770	74	4	.	.	PUNCT
ejpam-3770	75	1	partition	partition	PROPN
ejpam-3770	75	2	m	m	VERB
ejpam-3770	75	3	into	into	ADP
ejpam-3770	75	4	two	two	NUM
ejpam-3770	75	5	infinite	infinite	ADJ
ejpam-3770	75	6	subsets	subset	NOUN
ejpam-3770	75	7	m1	m1	PROPN
ejpam-3770	75	8	and	and	CCONJ
ejpam-3770	75	9	m2	m2	PROPN
ejpam-3770	75	10	.	.	PROPN
ejpam-3770	75	11	pick	pick	VERB
ejpam-3770	75	12	the	the	DET
ejpam-3770	75	13	least	least	ADJ
ejpam-3770	75	14	α	α	NOUN
ejpam-3770	75	15	<	<	X
ejpam-3770	75	16	ω1	ω1	PROPN
ejpam-3770	75	17	such	such	ADJ
ejpam-3770	76	1	that	that	SCONJ
ejpam-3770	76	2	〈	〈	PROPN
ejpam-3770	76	3	cα	cα	PRON
ejpam-3770	76	4	,	,	PUNCT
ejpam-3770	76	5	dα	dα	PROPN
ejpam-3770	76	6	〉	〉	NOUN
ejpam-3770	76	7	=	=	SYM
ejpam-3770	76	8	〈	〈	PROPN
ejpam-3770	76	9	{	{	PUNCT
ejpam-3770	76	10	m1	m1	NOUN
ejpam-3770	76	11	}	}	PUNCT
ejpam-3770	76	12	,	,	PUNCT
ejpam-3770	76	13	{	{	PUNCT
ejpam-3770	76	14	m2	m2	PROPN
ejpam-3770	76	15	}	}	PUNCT
ejpam-3770	76	16	〉	〉	PROPN
ejpam-3770	76	17	=	=	SYM
ejpam-3770	76	18	〈	〈	PROPN
ejpam-3770	76	19	{	{	PUNCT
ejpam-3770	76	20	aα,1	aα,1	PROPN
ejpam-3770	76	21	}	}	PUNCT
ejpam-3770	76	22	,	,	PUNCT
ejpam-3770	76	23	{	{	PUNCT
ejpam-3770	76	24	bα,1	bα,1	NOUN
ejpam-3770	76	25	}	}	PUNCT
ejpam-3770	76	26	〉	〉	PROPN
ejpam-3770	76	27	.	.	PUNCT
ejpam-3770	77	1	since	since	SCONJ
ejpam-3770	77	2	for	for	ADP
ejpam-3770	77	3	each	each	DET
ejpam-3770	77	4	e	e	PROPN
ejpam-3770	77	5	∈	∈	PROPN
ejpam-3770	77	6	a	a	PRON
ejpam-3770	77	7	,	,	PUNCT
ejpam-3770	77	8	e	e	X
ejpam-3770	77	9	∩m	∩m	PROPN
ejpam-3770	77	10	is	be	AUX
ejpam-3770	77	11	finite	finite	ADJ
ejpam-3770	77	12	,	,	PUNCT
ejpam-3770	77	13	we	we	PRON
ejpam-3770	77	14	have	have	VERB
ejpam-3770	77	15	that	that	PRON
ejpam-3770	77	16	for	for	ADP
ejpam-3770	77	17	each	each	DET
ejpam-3770	77	18	e	e	PROPN
ejpam-3770	77	19	∈	∈	PROPN
ejpam-3770	77	20	a′α	a′α	PROPN
ejpam-3770	77	21	,	,	PUNCT
ejpam-3770	77	22	|e	|e	VERB
ejpam-3770	78	1	∩m	∩m	PROPN
ejpam-3770	79	1	|	|	ADV
ejpam-3770	79	2	<	<	X
ejpam-3770	79	3	ω	ω	PROPN
ejpam-3770	79	4	.	.	PUNCT
ejpam-3770	80	1	thus	thus	ADV
ejpam-3770	80	2	,	,	PUNCT
ejpam-3770	80	3	for	for	ADP
ejpam-3770	80	4	each	each	DET
ejpam-3770	80	5	e	e	PROPN
ejpam-3770	80	6	∈	∈	PROPN
ejpam-3770	80	7	a′α	a′α	SCONJ
ejpam-3770	80	8	we	we	PRON
ejpam-3770	80	9	have	have	AUX
ejpam-3770	80	10	|e	|e	VERB
ejpam-3770	80	11	∩m1|	∩m1|	PROPN
ejpam-3770	80	12	<	<	X
ejpam-3770	80	13	ω	ω	PROPN
ejpam-3770	80	14	and	and	CCONJ
ejpam-3770	80	15	|e	|e	VERB
ejpam-3770	80	16	∩m2|	∩m2|	PROPN
ejpam-3770	80	17	<	<	X
ejpam-3770	80	18	ω	ω	PROPN
ejpam-3770	80	19	.	.	PUNCT
ejpam-3770	81	1	that	that	PRON
ejpam-3770	81	2	is	be	AUX
ejpam-3770	81	3	,	,	PUNCT
ejpam-3770	81	4	m1	m1	PROPN
ejpam-3770	81	5	∈	∈	PROPN
ejpam-3770	81	6	[	[	X
ejpam-3770	81	7	aα,1	aα,1	PROPN
ejpam-3770	81	8	]	]	X
ejpam-3770	81	9	ω	ω	PROPN
ejpam-3770	81	10	and	and	CCONJ
ejpam-3770	81	11	m2	m2	PROPN
ejpam-3770	81	12	∈	∈	PROPN
ejpam-3770	81	13	[	[	X
ejpam-3770	81	14	bα,1	bα,1	X
ejpam-3770	81	15	]	]	PUNCT
ejpam-3770	81	16	ω	ω	NUM
ejpam-3770	81	17	satisfy	satisfy	NOUN
ejpam-3770	81	18	that	that	PRON
ejpam-3770	81	19	a′α∪{m1	a′α∪{m1	VERB
ejpam-3770	81	20	}	}	PUNCT
ejpam-3770	81	21	and	and	CCONJ
ejpam-3770	81	22	a′α∪{m2	a′α∪{m2	PROPN
ejpam-3770	81	23	}	}	PUNCT
ejpam-3770	81	24	are	be	AUX
ejpam-3770	81	25	almost	almost	ADV
ejpam-3770	81	26	disjoint	disjoint	ADJ
ejpam-3770	81	27	,	,	PUNCT
ejpam-3770	81	28	hence	hence	ADV
ejpam-3770	81	29	there	there	PRON
ejpam-3770	81	30	exists	exist	VERB
ejpam-3770	81	31	eα	eα	PRON
ejpam-3770	81	32	∈	∈	PROPN
ejpam-3770	81	33	aα	aα	NOUN
ejpam-3770	81	34	⊂	⊂	PROPN
ejpam-3770	81	35	a	a	DET
ejpam-3770	81	36	such	such	ADJ
ejpam-3770	81	37	that	that	PRON
ejpam-3770	81	38	eα	eα	PRON
ejpam-3770	81	39	∩m	∩m	PROPN
ejpam-3770	81	40	is	be	AUX
ejpam-3770	81	41	infinite	infinite	ADJ
ejpam-3770	81	42	which	which	PRON
ejpam-3770	81	43	is	be	AUX
ejpam-3770	81	44	a	a	DET
ejpam-3770	81	45	contradiction	contradiction	NOUN
ejpam-3770	81	46	.	.	PUNCT
ejpam-3770	82	1	so	so	ADV
ejpam-3770	82	2	,	,	PUNCT
ejpam-3770	82	3	a	a	PRON
ejpam-3770	82	4	is	be	AUX
ejpam-3770	82	5	mad	mad	ADJ
ejpam-3770	82	6	.	.	PUNCT
ejpam-3770	83	1	claim	claim	NOUN
ejpam-3770	83	2	:	:	PUNCT
ejpam-3770	83	3	ψ(a	ψ(a	PROPN
ejpam-3770	83	4	)	)	PUNCT
ejpam-3770	83	5	is	be	AUX
ejpam-3770	83	6	quasi	quasi	ADJ
ejpam-3770	83	7	-	-	ADJ
ejpam-3770	83	8	normal	normal	ADJ
ejpam-3770	83	9	.	.	PUNCT
ejpam-3770	84	1	proof	proof	NOUN
ejpam-3770	84	2	of	of	ADP
ejpam-3770	84	3	claim	claim	NOUN
ejpam-3770	84	4	:	:	PUNCT
ejpam-3770	84	5	let	let	VERB
ejpam-3770	84	6	a	a	PRON
ejpam-3770	84	7	and	and	CCONJ
ejpam-3770	84	8	b	b	NOUN
ejpam-3770	84	9	be	be	AUX
ejpam-3770	84	10	non	non	ADJ
ejpam-3770	84	11	-	-	ADJ
ejpam-3770	84	12	empty	empty	ADJ
ejpam-3770	84	13	disjoint	disjoint	ADJ
ejpam-3770	84	14	π	π	ADJ
ejpam-3770	84	15	-	-	ADJ
ejpam-3770	84	16	closed	closed	ADJ
ejpam-3770	84	17	subsets	subset	NOUN
ejpam-3770	84	18	of	of	ADP
ejpam-3770	84	19	ψ(a	ψ(a	PROPN
ejpam-3770	84	20	)	)	PUNCT
ejpam-3770	84	21	.	.	PUNCT
ejpam-3770	85	1	write	write	VERB
ejpam-3770	85	2	a	a	DET
ejpam-3770	85	3	=	=	NOUN
ejpam-3770	85	4	⋂n	⋂n	NOUN
ejpam-3770	85	5	i=1ai	i=1ai	NOUN
ejpam-3770	85	6	and	and	CCONJ
ejpam-3770	85	7	b	b	X
ejpam-3770	85	8	=	=	SYM
ejpam-3770	85	9	⋂m	⋂m	PROPN
ejpam-3770	85	10	j=1bj	j=1bj	NUM
ejpam-3770	85	11	where	where	SCONJ
ejpam-3770	85	12	each	each	PRON
ejpam-3770	85	13	ai	ai	VERB
ejpam-3770	85	14	and	and	CCONJ
ejpam-3770	85	15	bj	bj	NOUN
ejpam-3770	85	16	are	be	AUX
ejpam-3770	85	17	closed	close	VERB
ejpam-3770	85	18	domains	domain	NOUN
ejpam-3770	85	19	for	for	ADP
ejpam-3770	85	20	each	each	DET
ejpam-3770	85	21	i	i	PRON
ejpam-3770	85	22	∈	∈	PROPN
ejpam-3770	85	23	{	{	PUNCT
ejpam-3770	85	24	1	1	NUM
ejpam-3770	85	25	,	,	PUNCT
ejpam-3770	85	26	...	...	PUNCT
ejpam-3770	85	27	,	,	PUNCT
ejpam-3770	85	28	n	n	CCONJ
ejpam-3770	85	29	}	}	PUNCT
ejpam-3770	85	30	and	and	CCONJ
ejpam-3770	85	31	j	j	PROPN
ejpam-3770	85	32	∈	∈	PROPN
ejpam-3770	85	33	{	{	PUNCT
ejpam-3770	85	34	1	1	NUM
ejpam-3770	85	35	,	,	PUNCT
ejpam-3770	85	36	...	...	PUNCT
ejpam-3770	85	37	,	,	PUNCT
ejpam-3770	85	38	m	m	VERB
ejpam-3770	85	39	}	}	PUNCT
ejpam-3770	85	40	.	.	PUNCT
ejpam-3770	86	1	observe	observe	VERB
ejpam-3770	86	2	that	that	SCONJ
ejpam-3770	86	3	if	if	SCONJ
ejpam-3770	86	4	there	there	PRON
ejpam-3770	86	5	exists	exist	VERB
ejpam-3770	86	6	i	i	PRON
ejpam-3770	86	7	∈	∈	PROPN
ejpam-3770	86	8	{	{	PUNCT
ejpam-3770	86	9	1	1	NUM
ejpam-3770	86	10	,	,	PUNCT
ejpam-3770	86	11	...	...	PUNCT
ejpam-3770	86	12	,	,	PUNCT
ejpam-3770	86	13	n	n	CCONJ
ejpam-3770	86	14	}	}	PUNCT
ejpam-3770	86	15	such	such	ADJ
ejpam-3770	86	16	that	that	SCONJ
ejpam-3770	86	17	|ai	|ai	NUM
ejpam-3770	86	18	∩	∩	X
ejpam-3770	86	19	ω|	ω|	VERB
ejpam-3770	86	20	<	<	X
ejpam-3770	86	21	ω	ω	NOUN
ejpam-3770	86	22	,	,	PUNCT
ejpam-3770	86	23	then	then	ADV
ejpam-3770	86	24	ai	ai	VERB
ejpam-3770	86	25	∩	∩	ADJ
ejpam-3770	86	26	a	a	DET
ejpam-3770	86	27	=	=	NOUN
ejpam-3770	86	28	∅	∅	NOUN
ejpam-3770	86	29	because	because	SCONJ
ejpam-3770	86	30	for	for	ADP
ejpam-3770	86	31	each	each	DET
ejpam-3770	86	32	a	a	DET
ejpam-3770	86	33	∈	∈	PROPN
ejpam-3770	86	34	a	a	PRON
ejpam-3770	86	35	we	we	PRON
ejpam-3770	86	36	have	have	VERB
ejpam-3770	86	37	{	{	PUNCT
ejpam-3770	86	38	a	a	DET
ejpam-3770	86	39	}	}	PUNCT
ejpam-3770	86	40	∪	∪	NOUN
ejpam-3770	86	41	(	(	PUNCT
ejpam-3770	86	42	a	a	DET
ejpam-3770	86	43	\	\	PROPN
ejpam-3770	86	44	ai	ai	NOUN
ejpam-3770	86	45	)	)	PUNCT
ejpam-3770	86	46	is	be	AUX
ejpam-3770	86	47	an	an	DET
ejpam-3770	86	48	open	open	ADJ
ejpam-3770	86	49	neighborhood	neighborhood	NOUN
ejpam-3770	86	50	of	of	ADP
ejpam-3770	86	51	a	a	DET
ejpam-3770	86	52	disjoint	disjoint	NOUN
ejpam-3770	86	53	from	from	ADP
ejpam-3770	86	54	ai	ai	PROPN
ejpam-3770	86	55	.	.	PUNCT
ejpam-3770	87	1	hence	hence	ADV
ejpam-3770	87	2	,	,	PUNCT
ejpam-3770	87	3	a	a	PRON
ejpam-3770	87	4	is	be	AUX
ejpam-3770	87	5	a	a	DET
ejpam-3770	87	6	finite	finite	ADJ
ejpam-3770	87	7	closed	close	VERB
ejpam-3770	87	8	-	-	PUNCT
ejpam-3770	87	9	and	and	CCONJ
ejpam-3770	87	10	-	-	PUNCT
ejpam-3770	87	11	open	open	ADJ
ejpam-3770	87	12	subset	subset	NOUN
ejpam-3770	87	13	of	of	ADP
ejpam-3770	87	14	ψ(a	ψ(a	PROPN
ejpam-3770	87	15	)	)	PUNCT
ejpam-3770	87	16	which	which	PRON
ejpam-3770	87	17	can	can	AUX
ejpam-3770	87	18	be	be	AUX
ejpam-3770	87	19	separated	separate	VERB
ejpam-3770	87	20	from	from	ADP
ejpam-3770	87	21	b.	b.	PROPN
ejpam-3770	87	22	similarly	similarly	ADV
ejpam-3770	87	23	,	,	PUNCT
ejpam-3770	87	24	if	if	SCONJ
ejpam-3770	87	25	there	there	PRON
ejpam-3770	87	26	exists	exist	VERB
ejpam-3770	87	27	j	j	PROPN
ejpam-3770	87	28	∈	∈	PROPN
ejpam-3770	87	29	{	{	PUNCT
ejpam-3770	87	30	1	1	NUM
ejpam-3770	87	31	,	,	PUNCT
ejpam-3770	87	32	...	...	PUNCT
ejpam-3770	87	33	,	,	PUNCT
ejpam-3770	87	34	m	m	VERB
ejpam-3770	87	35	}	}	PUNCT
ejpam-3770	87	36	such	such	ADJ
ejpam-3770	87	37	that	that	SCONJ
ejpam-3770	87	38	|bj	|bj	PROPN
ejpam-3770	87	39	∩	∩	NOUN
ejpam-3770	87	40	ω|	ω|	VERB
ejpam-3770	87	41	<	<	X
ejpam-3770	87	42	ω	ω	PROPN
ejpam-3770	87	43	,	,	PUNCT
ejpam-3770	87	44	then	then	ADV
ejpam-3770	87	45	b	b	NOUN
ejpam-3770	87	46	can	can	AUX
ejpam-3770	87	47	be	be	AUX
ejpam-3770	87	48	separated	separate	VERB
ejpam-3770	87	49	from	from	ADP
ejpam-3770	87	50	a.	a.	NOUN
ejpam-3770	87	51	so	so	ADV
ejpam-3770	87	52	,	,	PUNCT
ejpam-3770	87	53	assume	assume	VERB
ejpam-3770	87	54	that	that	SCONJ
ejpam-3770	87	55	for	for	ADP
ejpam-3770	87	56	each	each	DET
ejpam-3770	87	57	i	i	PRON
ejpam-3770	87	58	∈	∈	PROPN
ejpam-3770	87	59	{	{	PUNCT
ejpam-3770	87	60	1	1	NUM
ejpam-3770	87	61	,	,	PUNCT
ejpam-3770	87	62	...	...	PUNCT
ejpam-3770	87	63	,	,	PUNCT
ejpam-3770	87	64	n	n	CCONJ
ejpam-3770	87	65	}	}	PUNCT
ejpam-3770	87	66	and	and	CCONJ
ejpam-3770	87	67	j	j	PROPN
ejpam-3770	87	68	∈	∈	PROPN
ejpam-3770	87	69	{	{	PUNCT
ejpam-3770	87	70	1	1	NUM
ejpam-3770	87	71	,	,	PUNCT
ejpam-3770	87	72	...	...	PUNCT
ejpam-3770	87	73	,	,	PUNCT
ejpam-3770	87	74	m	m	VERB
ejpam-3770	87	75	}	}	PUNCT
ejpam-3770	87	76	,	,	PUNCT
ejpam-3770	87	77	|ai	|ai	NUM
ejpam-3770	87	78	∩	∩	X
ejpam-3770	87	79	ω|	ω|	NOUN
ejpam-3770	87	80	=	=	SYM
ejpam-3770	87	81	ω	ω	PROPN
ejpam-3770	87	82	=	=	SYM
ejpam-3770	87	83	|bj	|bj	PROPN
ejpam-3770	87	84	∩	∩	NOUN
ejpam-3770	87	85	ω|	ω|	VERB
ejpam-3770	87	86	.	.	PUNCT
ejpam-3770	88	1	take	take	VERB
ejpam-3770	88	2	the	the	DET
ejpam-3770	88	3	least	least	ADJ
ejpam-3770	88	4	α	α	NOUN
ejpam-3770	88	5	<	<	X
ejpam-3770	88	6	ω1	ω1	PROPN
ejpam-3770	88	7	such	such	ADJ
ejpam-3770	88	8	that	that	PRON
ejpam-3770	88	9	for	for	ADP
ejpam-3770	88	10	each	each	DET
ejpam-3770	88	11	i	i	PRON
ejpam-3770	88	12	∈	∈	PROPN
ejpam-3770	88	13	{	{	PUNCT
ejpam-3770	88	14	1	1	NUM
ejpam-3770	88	15	,	,	PUNCT
ejpam-3770	88	16	...	...	PUNCT
ejpam-3770	88	17	,	,	PUNCT
ejpam-3770	88	18	n	n	CCONJ
ejpam-3770	88	19	}	}	PUNCT
ejpam-3770	88	20	and	and	CCONJ
ejpam-3770	88	21	j	j	PROPN
ejpam-3770	88	22	∈	∈	PROPN
ejpam-3770	88	23	{	{	PUNCT
ejpam-3770	88	24	1	1	NUM
ejpam-3770	88	25	,	,	PUNCT
ejpam-3770	88	26	...	...	PUNCT
ejpam-3770	88	27	,	,	PUNCT
ejpam-3770	88	28	m	m	AUX
ejpam-3770	88	29	}	}	PUNCT
ejpam-3770	88	30	we	we	PRON
ejpam-3770	88	31	have	have	VERB
ejpam-3770	88	32	aα	aα	NOUN
ejpam-3770	88	33	,	,	PUNCT
ejpam-3770	88	34	i	i	PRON
ejpam-3770	88	35	=	=	VERB
ejpam-3770	88	36	ai	ai	VERB
ejpam-3770	88	37	∩	∩	ADJ
ejpam-3770	88	38	ω	ω	PROPN
ejpam-3770	88	39	and	and	CCONJ
ejpam-3770	88	40	bα	bα	PROPN
ejpam-3770	88	41	,	,	PUNCT
ejpam-3770	88	42	j	j	NOUN
ejpam-3770	88	43	=	=	PRON
ejpam-3770	88	44	bj	bj	ADP
ejpam-3770	88	45	∩	∩	PROPN
ejpam-3770	88	46	ω	ω	NOUN
ejpam-3770	88	47	.	.	PUNCT
ejpam-3770	88	48	recalling	recall	VERB
ejpam-3770	88	49	our	our	PRON
ejpam-3770	88	50	construction	construction	NOUN
ejpam-3770	88	51	,	,	PUNCT
ejpam-3770	88	52	at	at	ADP
ejpam-3770	88	53	stage	stage	NOUN
ejpam-3770	88	54	α	α	NOUN
ejpam-3770	88	55	,	,	PUNCT
ejpam-3770	88	56	either	either	CCONJ
ejpam-3770	88	57	aα	aα	NOUN
ejpam-3770	88	58	=	=	SYM
ejpam-3770	88	59	a′α	a′α	ADJ
ejpam-3770	88	60	or	or	CCONJ
ejpam-3770	88	61	aα	aα	NOUN
ejpam-3770	88	62	=	=	PUNCT
ejpam-3770	88	63	a′α	a′α	ADP
ejpam-3770	88	64	∪	∪	ADV
ejpam-3770	88	65	{	{	PUNCT
ejpam-3770	88	66	eα	eα	NOUN
ejpam-3770	88	67	}	}	PUNCT
ejpam-3770	88	68	.	.	PUNCT
ejpam-3770	89	1	but	but	CCONJ
ejpam-3770	89	2	,	,	PUNCT
ejpam-3770	89	3	aα	aα	NOUN
ejpam-3770	89	4	=	=	PUNCT
ejpam-3770	89	5	a′α	a′α	ADP
ejpam-3770	89	6	∪	∪	ADJ
ejpam-3770	89	7	{	{	PUNCT
ejpam-3770	89	8	eα	eα	PRON
ejpam-3770	89	9	}	}	PUNCT
ejpam-3770	89	10	is	be	AUX
ejpam-3770	89	11	not	not	PART
ejpam-3770	89	12	possible	possible	ADJ
ejpam-3770	89	13	since	since	SCONJ
ejpam-3770	89	14	eα	eα	NOUN
ejpam-3770	89	15	=	=	SYM
ejpam-3770	89	16	(	(	PUNCT
ejpam-3770	89	17	⋃n	⋃n	NOUN
ejpam-3770	89	18	i=1gα	i=1gα	NUM
ejpam-3770	89	19	,	,	PUNCT
ejpam-3770	89	20	i	i	NOUN
ejpam-3770	89	21	)	)	PUNCT
ejpam-3770	89	22	∪	∪	NOUN
ejpam-3770	89	23	(	(	PUNCT
ejpam-3770	89	24	⋃m	⋃m	PROPN
ejpam-3770	89	25	j=1hα	j=1hα	PROPN
ejpam-3770	89	26	,	,	PUNCT
ejpam-3770	89	27	j	j	PROPN
ejpam-3770	89	28	)	)	PUNCT
ejpam-3770	89	29	for	for	ADP
ejpam-3770	89	30	some	some	DET
ejpam-3770	89	31	gα	gα	NOUN
ejpam-3770	89	32	,	,	PUNCT
ejpam-3770	89	33	i	i	PRON
ejpam-3770	89	34	∈	∈	PROPN
ejpam-3770	90	1	[	[	X
ejpam-3770	90	2	aα	aα	NOUN
ejpam-3770	90	3	,	,	PUNCT
ejpam-3770	90	4	i	i	PRON
ejpam-3770	90	5	]	]	PUNCT
ejpam-3770	90	6	ω	ω	PROPN
ejpam-3770	90	7	and	and	CCONJ
ejpam-3770	90	8	hα	hα	PROPN
ejpam-3770	90	9	,	,	PUNCT
ejpam-3770	90	10	j	j	PROPN
ejpam-3770	90	11	∈	∈	PROPN
ejpam-3770	91	1	[	[	X
ejpam-3770	91	2	bα	bα	PROPN
ejpam-3770	91	3	,	,	PUNCT
ejpam-3770	91	4	j	j	PROPN
ejpam-3770	91	5	]	]	PUNCT
ejpam-3770	91	6	ω	ω	PROPN
ejpam-3770	91	7	and	and	CCONJ
ejpam-3770	91	8	that	that	PRON
ejpam-3770	91	9	implies	imply	VERB
ejpam-3770	91	10	eα	eα	NOUN
ejpam-3770	91	11	is	be	AUX
ejpam-3770	91	12	in	in	ADP
ejpam-3770	91	13	the	the	DET
ejpam-3770	91	14	closure	closure	NOUN
ejpam-3770	91	15	of	of	ADP
ejpam-3770	91	16	each	each	DET
ejpam-3770	91	17	aα	aα	NOUN
ejpam-3770	91	18	,	,	PUNCT
ejpam-3770	91	19	i	i	PRON
ejpam-3770	91	20	and	and	CCONJ
ejpam-3770	91	21	each	each	DET
ejpam-3770	91	22	bα	bα	PROPN
ejpam-3770	91	23	,	,	PUNCT
ejpam-3770	91	24	j	j	PROPN
ejpam-3770	91	25	,	,	PUNCT
ejpam-3770	91	26	hence	hence	ADV
ejpam-3770	91	27	eα	eα	VERB
ejpam-3770	91	28	∈	∈	PROPN
ejpam-3770	91	29	a	a	DET
ejpam-3770	91	30	∩	∩	ADJ
ejpam-3770	91	31	b	b	NOUN
ejpam-3770	91	32	and	and	CCONJ
ejpam-3770	91	33	this	this	PRON
ejpam-3770	91	34	is	be	AUX
ejpam-3770	91	35	a	a	DET
ejpam-3770	91	36	contradiction	contradiction	NOUN
ejpam-3770	91	37	as	as	ADP
ejpam-3770	91	38	a	a	DET
ejpam-3770	91	39	∩	∩	ADJ
ejpam-3770	91	40	b	b	NOUN
ejpam-3770	91	41	=	=	PUNCT
ejpam-3770	91	42	∅.	∅.	NOUN
ejpam-3770	91	43	thus	thus	ADV
ejpam-3770	91	44	,	,	PUNCT
ejpam-3770	91	45	aα	aα	NOUN
ejpam-3770	91	46	=	=	PUNCT
ejpam-3770	92	1	a′α	a′α	VERB
ejpam-3770	92	2	and	and	CCONJ
ejpam-3770	92	3	this	this	PRON
ejpam-3770	92	4	means	mean	VERB
ejpam-3770	92	5	that	that	SCONJ
ejpam-3770	92	6	for	for	ADP
ejpam-3770	92	7	some	some	DET
ejpam-3770	92	8	i	i	PRON
ejpam-3770	92	9	∈	∈	PROPN
ejpam-3770	92	10	{	{	PUNCT
ejpam-3770	92	11	1	1	NUM
ejpam-3770	92	12	,	,	PUNCT
ejpam-3770	92	13	...	...	PUNCT
ejpam-3770	92	14	,	,	PUNCT
ejpam-3770	92	15	n	n	CCONJ
ejpam-3770	92	16	}	}	PUNCT
ejpam-3770	92	17	,	,	PUNCT
ejpam-3770	92	18	it	it	PRON
ejpam-3770	92	19	is	be	AUX
ejpam-3770	92	20	the	the	DET
ejpam-3770	92	21	case	case	NOUN
ejpam-3770	92	22	that	that	SCONJ
ejpam-3770	92	23	for	for	ADP
ejpam-3770	92	24	each	each	DET
ejpam-3770	92	25	gα	gα	NOUN
ejpam-3770	92	26	,	,	PUNCT
ejpam-3770	92	27	i	i	PRON
ejpam-3770	92	28	∈	∈	PROPN
ejpam-3770	93	1	[	[	X
ejpam-3770	93	2	aα	aα	NOUN
ejpam-3770	93	3	,	,	PUNCT
ejpam-3770	93	4	i	i	PROPN
ejpam-3770	93	5	]	]	X
ejpam-3770	93	6	ω	ω	PROPN
ejpam-3770	93	7	,	,	PUNCT
ejpam-3770	93	8	a′α	a′α	ADV
ejpam-3770	93	9	∪	∪	ADV
ejpam-3770	93	10	{	{	PUNCT
ejpam-3770	93	11	gα	gα	NOUN
ejpam-3770	93	12	,	,	PUNCT
ejpam-3770	93	13	i	i	PRON
ejpam-3770	93	14	}	}	PUNCT
ejpam-3770	93	15	is	be	AUX
ejpam-3770	93	16	not	not	PART
ejpam-3770	93	17	almost	almost	ADV
ejpam-3770	93	18	disjoint	disjoint	VERB
ejpam-3770	93	19	or	or	CCONJ
ejpam-3770	93	20	,	,	PUNCT
ejpam-3770	93	21	for	for	ADP
ejpam-3770	93	22	some	some	DET
ejpam-3770	93	23	j	j	PROPN
ejpam-3770	93	24	∈	∈	PROPN
ejpam-3770	93	25	{	{	PUNCT
ejpam-3770	93	26	1	1	NUM
ejpam-3770	93	27	,	,	PUNCT
ejpam-3770	93	28	...	...	PUNCT
ejpam-3770	93	29	,	,	PUNCT
ejpam-3770	93	30	m	m	VERB
ejpam-3770	93	31	}	}	PUNCT
ejpam-3770	93	32	,	,	PUNCT
ejpam-3770	93	33	every	every	DET
ejpam-3770	93	34	infinite	infinite	NOUN
ejpam-3770	93	35	hα	hα	ADP
ejpam-3770	93	36	,	,	PUNCT
ejpam-3770	93	37	j	j	PROPN
ejpam-3770	93	38	⊆	⊆	NUM
ejpam-3770	93	39	bα	bα	PROPN
ejpam-3770	93	40	,	,	PUNCT
ejpam-3770	93	41	j	j	PROPN
ejpam-3770	93	42	,	,	PUNCT
ejpam-3770	93	43	is	be	AUX
ejpam-3770	93	44	so	so	SCONJ
ejpam-3770	93	45	that	that	SCONJ
ejpam-3770	93	46	a′α	a′α	ADP
ejpam-3770	93	47	∪	∪	X
ejpam-3770	93	48	{	{	PUNCT
ejpam-3770	93	49	hα	hα	PROPN
ejpam-3770	93	50	,	,	PUNCT
ejpam-3770	93	51	j	j	NOUN
ejpam-3770	93	52	}	}	PUNCT
ejpam-3770	93	53	is	be	AUX
ejpam-3770	93	54	not	not	PART
ejpam-3770	93	55	almost	almost	ADV
ejpam-3770	93	56	disjoint	disjoint	ADJ
ejpam-3770	93	57	.	.	PUNCT
ejpam-3770	94	1	without	without	ADP
ejpam-3770	94	2	loss	loss	NOUN
ejpam-3770	94	3	of	of	ADP
ejpam-3770	94	4	generality	generality	NOUN
ejpam-3770	94	5	,	,	PUNCT
ejpam-3770	94	6	assume	assume	VERB
ejpam-3770	94	7	that	that	SCONJ
ejpam-3770	94	8	there	there	PRON
ejpam-3770	94	9	exists	exist	VERB
ejpam-3770	94	10	such	such	ADJ
ejpam-3770	94	11	i	i	PRON
ejpam-3770	94	12	∈	∈	PROPN
ejpam-3770	94	13	{	{	PUNCT
ejpam-3770	94	14	1	1	NUM
ejpam-3770	94	15	,	,	PUNCT
ejpam-3770	94	16	...	...	PUNCT
ejpam-3770	94	17	,	,	PUNCT
ejpam-3770	94	18	n	n	CCONJ
ejpam-3770	94	19	}	}	PUNCT
ejpam-3770	94	20	.	.	PUNCT
ejpam-3770	95	1	observe	observe	VERB
ejpam-3770	95	2	that	that	SCONJ
ejpam-3770	95	3	a′α	a′α	ADJ
ejpam-3770	95	4	is	be	AUX
ejpam-3770	95	5	countable	countable	ADJ
ejpam-3770	95	6	,	,	PUNCT
ejpam-3770	95	7	hence	hence	ADV
ejpam-3770	95	8	a′α	a′α	PROPN
ejpam-3770	95	9	�	�	PROPN
ejpam-3770	95	10	aα	aα	PROPN
ejpam-3770	95	11	,	,	PUNCT
ejpam-3770	95	12	i=	i=	PROPN
ejpam-3770	95	13	{	{	PUNCT
ejpam-3770	95	14	a	a	DET
ejpam-3770	95	15	∈	∈	PROPN
ejpam-3770	95	16	a′α	a′α	ADP
ejpam-3770	95	17	:	:	PUNCT
ejpam-3770	95	18	|a	|a	X
ejpam-3770	95	19	∩	∩	PROPN
ejpam-3770	95	20	aα	aα	PROPN
ejpam-3770	95	21	,	,	PUNCT
ejpam-3770	95	22	i|	i|	PROPN
ejpam-3770	95	23	=	=	SYM
ejpam-3770	95	24	ω	ω	PROPN
ejpam-3770	95	25	}	}	PUNCT
ejpam-3770	95	26	is	be	AUX
ejpam-3770	95	27	either	either	CCONJ
ejpam-3770	95	28	finite	finite	ADJ
ejpam-3770	95	29	or	or	CCONJ
ejpam-3770	95	30	countably	countably	ADV
ejpam-3770	95	31	infinite	infinite	ADJ
ejpam-3770	95	32	.	.	PUNCT
ejpam-3770	96	1	but	but	CCONJ
ejpam-3770	96	2	,	,	PUNCT
ejpam-3770	96	3	it	it	PRON
ejpam-3770	96	4	can	can	AUX
ejpam-3770	96	5	not	not	PART
ejpam-3770	96	6	be	be	AUX
ejpam-3770	96	7	countably	countably	ADV
ejpam-3770	96	8	infinite	infinite	ADJ
ejpam-3770	96	9	because	because	SCONJ
ejpam-3770	96	10	{	{	PUNCT
ejpam-3770	96	11	a	a	DET
ejpam-3770	96	12	∩	∩	ADJ
ejpam-3770	96	13	aα	aα	NOUN
ejpam-3770	96	14	,	,	PUNCT
ejpam-3770	96	15	i	i	PRON
ejpam-3770	96	16	:	:	PUNCT
ejpam-3770	96	17	a	a	DET
ejpam-3770	96	18	∈	∈	PROPN
ejpam-3770	96	19	a′α	a′α	PROPN
ejpam-3770	96	20	�	�	PROPN
ejpam-3770	96	21	aα	aα	PROPN
ejpam-3770	96	22	,	,	PUNCT
ejpam-3770	96	23	i	i	PRON
ejpam-3770	96	24	}	}	PUNCT
ejpam-3770	96	25	would	would	AUX
ejpam-3770	96	26	be	be	AUX
ejpam-3770	96	27	a	a	DET
ejpam-3770	96	28	countably	countably	ADV
ejpam-3770	96	29	infinite	infinite	ADJ
ejpam-3770	96	30	almost	almost	ADV
ejpam-3770	96	31	disjoint	disjoint	NOUN
ejpam-3770	96	32	family	family	NOUN
ejpam-3770	96	33	on	on	ADP
ejpam-3770	96	34	the	the	DET
ejpam-3770	96	35	set	set	ADJ
ejpam-3770	96	36	aα	aα	NOUN
ejpam-3770	96	37	,	,	PUNCT
ejpam-3770	96	38	i.	i.	PROPN
ejpam-3770	96	39	hence	hence	ADV
ejpam-3770	96	40	,	,	PUNCT
ejpam-3770	96	41	it	it	PRON
ejpam-3770	96	42	is	be	AUX
ejpam-3770	96	43	not	not	PART
ejpam-3770	96	44	maximal	maximal	ADJ
ejpam-3770	96	45	and	and	CCONJ
ejpam-3770	96	46	there	there	PRON
ejpam-3770	96	47	is	be	VERB
ejpam-3770	96	48	gα	gα	ADP
ejpam-3770	96	49	,	,	PUNCT
ejpam-3770	97	1	i	i	PRON
ejpam-3770	97	2	∈	∈	PROPN
ejpam-3770	98	1	[	[	X
ejpam-3770	98	2	aα	aα	NOUN
ejpam-3770	98	3	,	,	PUNCT
ejpam-3770	98	4	i	i	PRON
ejpam-3770	98	5	]	]	PUNCT
ejpam-3770	98	6	ω	ω	NUM
ejpam-3770	98	7	such	such	ADJ
ejpam-3770	98	8	that	that	SCONJ
ejpam-3770	98	9	{	{	PUNCT
ejpam-3770	98	10	a	a	DET
ejpam-3770	98	11	∩	∩	ADJ
ejpam-3770	98	12	aα	aα	NOUN
ejpam-3770	98	13	,	,	PUNCT
ejpam-3770	98	14	i	i	PRON
ejpam-3770	98	15	:	:	PUNCT
ejpam-3770	98	16	a	a	DET
ejpam-3770	98	17	∈	∈	ADJ
ejpam-3770	98	18	a′α	a′α	VERB
ejpam-3770	98	19	}	}	PUNCT
ejpam-3770	98	20	∪	∪	NOUN
ejpam-3770	98	21	{	{	PUNCT
ejpam-3770	98	22	gα	gα	NOUN
ejpam-3770	98	23	,	,	PUNCT
ejpam-3770	98	24	i	i	PRON
ejpam-3770	98	25	}	}	PUNCT
ejpam-3770	98	26	is	be	AUX
ejpam-3770	98	27	almost	almost	ADV
ejpam-3770	98	28	disjoint	disjoint	ADJ
ejpam-3770	98	29	,	,	PUNCT
ejpam-3770	98	30	contradicts	contradict	VERB
ejpam-3770	98	31	that	that	SCONJ
ejpam-3770	98	32	for	for	ADP
ejpam-3770	98	33	each	each	DET
ejpam-3770	98	34	gα	gα	NOUN
ejpam-3770	98	35	,	,	PUNCT
ejpam-3770	98	36	i	i	PRON
ejpam-3770	98	37	∈	∈	PROPN
ejpam-3770	99	1	[	[	X
ejpam-3770	99	2	aα	aα	NOUN
ejpam-3770	99	3	,	,	PUNCT
ejpam-3770	99	4	i	i	PROPN
ejpam-3770	99	5	]	]	X
ejpam-3770	99	6	ω	ω	PROPN
ejpam-3770	99	7	,	,	PUNCT
ejpam-3770	99	8	a′α	a′α	ADV
ejpam-3770	99	9	∪	∪	ADV
ejpam-3770	99	10	{	{	PUNCT
ejpam-3770	99	11	gα	gα	NOUN
ejpam-3770	99	12	,	,	PUNCT
ejpam-3770	99	13	i	i	PRON
ejpam-3770	99	14	}	}	PUNCT
ejpam-3770	99	15	is	be	AUX
ejpam-3770	99	16	not	not	PART
ejpam-3770	99	17	almost	almost	ADV
ejpam-3770	99	18	disjoint	disjoint	ADJ
ejpam-3770	99	19	.	.	PUNCT
ejpam-3770	100	1	therefore	therefore	ADV
ejpam-3770	100	2	,	,	PUNCT
ejpam-3770	100	3	f	f	PROPN
ejpam-3770	100	4	=	=	PRON
ejpam-3770	100	5	{	{	PUNCT
ejpam-3770	100	6	a	a	DET
ejpam-3770	100	7	∈	∈	PROPN
ejpam-3770	100	8	a′α	a′α	ADP
ejpam-3770	100	9	:	:	PUNCT
ejpam-3770	100	10	|a	|a	X
ejpam-3770	100	11	∩aα	∩aα	NOUN
ejpam-3770	100	12	,	,	PUNCT
ejpam-3770	100	13	i|	i|	PROPN
ejpam-3770	100	14	=	=	SYM
ejpam-3770	100	15	ω	ω	PROPN
ejpam-3770	100	16	}	}	PUNCT
ejpam-3770	100	17	is	be	AUX
ejpam-3770	100	18	finite	finite	ADJ
ejpam-3770	100	19	.	.	PUNCT
ejpam-3770	101	1	claim	claim	NOUN
ejpam-3770	101	2	:	:	PUNCT
ejpam-3770	101	3	|aα	|aα	NUM
ejpam-3770	101	4	,	,	PUNCT
ejpam-3770	101	5	i	i	PRON
ejpam-3770	101	6	\	\	VERB
ejpam-3770	102	1	⋃	⋃	PUNCT
ejpam-3770	102	2	f	f	PROPN
ejpam-3770	102	3	|	|	ADV
ejpam-3770	102	4	<	<	X
ejpam-3770	102	5	ω	ω	X
ejpam-3770	102	6	.	.	PROPN
ejpam-3770	103	1	assume	assume	VERB
ejpam-3770	103	2	|aα	|aα	NUM
ejpam-3770	103	3	,	,	PUNCT
ejpam-3770	103	4	i	i	PRON
ejpam-3770	103	5	\	\	VERB
ejpam-3770	104	1	⋃	⋃	PUNCT
ejpam-3770	104	2	f	f	PROPN
ejpam-3770	104	3	|	|	NOUN
ejpam-3770	104	4	=	=	SYM
ejpam-3770	104	5	ω	ω	PROPN
ejpam-3770	104	6	,	,	PUNCT
ejpam-3770	104	7	then	then	ADV
ejpam-3770	104	8	aα	aα	NOUN
ejpam-3770	104	9	,	,	PUNCT
ejpam-3770	104	10	i	i	PRON
ejpam-3770	104	11	\	\	PUNCT
ejpam-3770	104	12	⋃	⋃	PUNCT
ejpam-3770	104	13	f	f	PROPN
ejpam-3770	104	14	∈	∈	PROPN
ejpam-3770	104	15	[	[	X
ejpam-3770	104	16	aα	aα	NOUN
ejpam-3770	104	17	,	,	PUNCT
ejpam-3770	104	18	i	i	PROPN
ejpam-3770	104	19	]	]	X
ejpam-3770	104	20	ω	ω	NUM
ejpam-3770	104	21	,	,	PUNCT
ejpam-3770	104	22	and	and	CCONJ
ejpam-3770	104	23	by	by	ADP
ejpam-3770	104	24	our	our	PRON
ejpam-3770	104	25	hypothesis	hypothesis	NOUN
ejpam-3770	104	26	,	,	PUNCT
ejpam-3770	104	27	a′α	a′α	ADV
ejpam-3770	104	28	∪	∪	ADV
ejpam-3770	104	29	{	{	PUNCT
ejpam-3770	104	30	aα	aα	NOUN
ejpam-3770	104	31	,	,	PUNCT
ejpam-3770	104	32	i	i	PRON
ejpam-3770	104	33	\	\	PUNCT
ejpam-3770	104	34	⋃	⋃	PUNCT
ejpam-3770	104	35	f	f	X
ejpam-3770	104	36	}	}	PUNCT
ejpam-3770	104	37	is	be	AUX
ejpam-3770	104	38	not	not	PART
ejpam-3770	104	39	almost	almost	ADV
ejpam-3770	104	40	disjoint	disjoint	ADJ
ejpam-3770	104	41	.	.	PUNCT
ejpam-3770	105	1	thus	thus	ADV
ejpam-3770	105	2	,	,	PUNCT
ejpam-3770	105	3	there	there	PRON
ejpam-3770	105	4	exists	exist	VERB
ejpam-3770	105	5	a	a	DET
ejpam-3770	105	6	∈	∈	NOUN
ejpam-3770	105	7	a′α	a′α	ADP
ejpam-3770	105	8	\	\	PROPN
ejpam-3770	105	9	f	f	PROPN
ejpam-3770	105	10	such	such	ADJ
ejpam-3770	105	11	that	that	SCONJ
ejpam-3770	105	12	|a	|a	VERB
ejpam-3770	105	13	∩	∩	NOUN
ejpam-3770	105	14	(	(	PUNCT
ejpam-3770	105	15	aα	aα	NOUN
ejpam-3770	105	16	,	,	PUNCT
ejpam-3770	105	17	i	i	PRON
ejpam-3770	105	18	\	\	PUNCT
ejpam-3770	105	19	⋃	⋃	PUNCT
ejpam-3770	105	20	f	f	X
ejpam-3770	105	21	)	)	PUNCT
ejpam-3770	106	1	|	|	ADV
ejpam-3770	106	2	=	=	SYM
ejpam-3770	106	3	ω	ω	PROPN
ejpam-3770	106	4	,	,	PUNCT
ejpam-3770	106	5	but	but	CCONJ
ejpam-3770	106	6	that	that	PRON
ejpam-3770	106	7	implies	imply	VERB
ejpam-3770	106	8	a	a	DET
ejpam-3770	106	9	∈	∈	PROPN
ejpam-3770	106	10	f	f	X
ejpam-3770	106	11	,	,	PUNCT
ejpam-3770	106	12	which	which	PRON
ejpam-3770	106	13	is	be	AUX
ejpam-3770	106	14	a	a	DET
ejpam-3770	106	15	contradiction	contradiction	NOUN
ejpam-3770	106	16	.	.	PUNCT
ejpam-3770	107	1	claim	claim	NOUN
ejpam-3770	107	2	:	:	PUNCT
ejpam-3770	107	3	{	{	PUNCT
ejpam-3770	107	4	a	a	PRON
ejpam-3770	107	5	∈	∈	PROPN
ejpam-3770	107	6	a	a	PRON
ejpam-3770	107	7	:	:	PUNCT
ejpam-3770	107	8	|a	|a	X
ejpam-3770	107	9	∩	∩	ADJ
ejpam-3770	107	10	aα	aα	PROPN
ejpam-3770	107	11	,	,	PUNCT
ejpam-3770	107	12	i|	i|	PROPN
ejpam-3770	107	13	=	=	SYM
ejpam-3770	107	14	ω	ω	PROPN
ejpam-3770	107	15	}	}	PUNCT
ejpam-3770	107	16	=	=	SYM
ejpam-3770	107	17	f	f	PROPN
ejpam-3770	107	18	.	.	PUNCT
ejpam-3770	108	1	if	if	SCONJ
ejpam-3770	108	2	there	there	PRON
ejpam-3770	108	3	exists	exist	VERB
ejpam-3770	108	4	a	a	DET
ejpam-3770	108	5	∈	∈	NOUN
ejpam-3770	108	6	a	a	DET
ejpam-3770	108	7	\	\	NOUN
ejpam-3770	108	8	f	f	NOUN
ejpam-3770	108	9	such	such	ADJ
ejpam-3770	108	10	that	that	SCONJ
ejpam-3770	108	11	|a	|a	VERB
ejpam-3770	108	12	∩	∩	ADJ
ejpam-3770	108	13	aα	aα	PROPN
ejpam-3770	108	14	,	,	PUNCT
ejpam-3770	108	15	i|	i|	PROPN
ejpam-3770	108	16	=	=	SYM
ejpam-3770	108	17	ω	ω	PROPN
ejpam-3770	108	18	,	,	PUNCT
ejpam-3770	108	19	since	since	SCONJ
ejpam-3770	108	20	|aα	|aα	NUM
ejpam-3770	108	21	,	,	PUNCT
ejpam-3770	108	22	i	i	PRON
ejpam-3770	108	23	\	\	VERB
ejpam-3770	109	1	⋃	⋃	PUNCT
ejpam-3770	109	2	f	f	PROPN
ejpam-3770	109	3	|	|	ADV
ejpam-3770	109	4	<	<	X
ejpam-3770	109	5	ω	ω	PROPN
ejpam-3770	109	6	,	,	PUNCT
ejpam-3770	109	7	then	then	ADV
ejpam-3770	110	1	|a	|a	X
ejpam-3770	110	2	∩	∩	PROPN
ejpam-3770	110	3	⋃	⋃	PROPN
ejpam-3770	110	4	f	f	PROPN
ejpam-3770	110	5	|	|	NOUN
ejpam-3770	110	6	=	=	SYM
ejpam-3770	110	7	ω	ω	PROPN
ejpam-3770	110	8	.	.	PUNCT
ejpam-3770	111	1	since	since	SCONJ
ejpam-3770	111	2	f	f	PROPN
ejpam-3770	111	3	is	be	AUX
ejpam-3770	111	4	finite	finite	ADJ
ejpam-3770	111	5	,	,	PUNCT
ejpam-3770	111	6	there	there	PRON
ejpam-3770	111	7	exists	exist	VERB
ejpam-3770	111	8	b	b	PROPN
ejpam-3770	111	9	∈	∈	PROPN
ejpam-3770	111	10	f	f	PROPN
ejpam-3770	111	11	⊂	⊂	PROPN
ejpam-3770	111	12	a	a	DET
ejpam-3770	111	13	such	such	ADJ
ejpam-3770	111	14	that	that	SCONJ
ejpam-3770	111	15	|a	|a	VERB
ejpam-3770	111	16	∩	∩	NOUN
ejpam-3770	111	17	b|	b|	PROPN
ejpam-3770	111	18	=	=	SYM
ejpam-3770	111	19	ω	ω	PROPN
ejpam-3770	111	20	,	,	PUNCT
ejpam-3770	111	21	which	which	PRON
ejpam-3770	111	22	is	be	AUX
ejpam-3770	111	23	a	a	DET
ejpam-3770	111	24	contradiction	contradiction	NOUN
ejpam-3770	111	25	.	.	PUNCT
ejpam-3770	112	1	references	reference	NOUN
ejpam-3770	112	2	700	700	NUM
ejpam-3770	112	3	hence	hence	ADV
ejpam-3770	112	4	ai	ai	VERB
ejpam-3770	112	5	is	be	AUX
ejpam-3770	112	6	compact	compact	ADJ
ejpam-3770	112	7	in	in	ADP
ejpam-3770	112	8	the	the	DET
ejpam-3770	112	9	tychonoff	tychonoff	NOUN
ejpam-3770	112	10	space	space	NOUN
ejpam-3770	112	11	ψ(a	ψ(a	PROPN
ejpam-3770	112	12	)	)	PUNCT
ejpam-3770	112	13	.	.	PUNCT
ejpam-3770	113	1	since	since	SCONJ
ejpam-3770	113	2	a	a	PRON
ejpam-3770	113	3	is	be	AUX
ejpam-3770	113	4	a	a	DET
ejpam-3770	113	5	closed	closed	ADJ
ejpam-3770	113	6	subset	subset	NOUN
ejpam-3770	113	7	of	of	ADP
ejpam-3770	113	8	ai	ai	NOUN
ejpam-3770	113	9	,	,	PUNCT
ejpam-3770	113	10	then	then	ADV
ejpam-3770	113	11	a	a	PRON
ejpam-3770	113	12	is	be	AUX
ejpam-3770	113	13	compact	compact	ADJ
ejpam-3770	113	14	,	,	PUNCT
ejpam-3770	113	15	thus	thus	ADV
ejpam-3770	113	16	a	a	PRON
ejpam-3770	113	17	can	can	AUX
ejpam-3770	113	18	be	be	AUX
ejpam-3770	113	19	separated	separate	VERB
ejpam-3770	113	20	from	from	ADP
ejpam-3770	113	21	b	b	NUM
ejpam-3770	113	22	,	,	PUNCT
ejpam-3770	113	23	see	see	VERB
ejpam-3770	113	24	[	[	X
ejpam-3770	113	25	1	1	NUM
ejpam-3770	113	26	,	,	PUNCT
ejpam-3770	113	27	3.1.6	3.1.6	NUM
ejpam-3770	113	28	]	]	PUNCT
ejpam-3770	113	29	.	.	PUNCT
ejpam-3770	114	1	therefore	therefore	ADV
ejpam-3770	114	2	,	,	PUNCT
ejpam-3770	114	3	ψ(a	ψ(a	PROPN
ejpam-3770	114	4	)	)	PUNCT
ejpam-3770	114	5	is	be	AUX
ejpam-3770	114	6	quasi	quasi	X
ejpam-3770	114	7	normal	normal	ADJ
ejpam-3770	114	8	.	.	PUNCT
ejpam-3770	115	1	references	reference	NOUN
ejpam-3770	115	2	[	[	X
ejpam-3770	115	3	1	1	NUM
ejpam-3770	115	4	]	]	PUNCT
ejpam-3770	115	5	r.	r.	PROPN
ejpam-3770	115	6	engelking	engelke	VERB
ejpam-3770	115	7	.	.	PUNCT
ejpam-3770	116	1	general	general	ADJ
ejpam-3770	116	2	topology	topology	PROPN
ejpam-3770	116	3	.	.	PUNCT
ejpam-3770	117	1	pwn	pwn	PROPN
ejpam-3770	117	2	,	,	PUNCT
ejpam-3770	117	3	warszawa	warszawa	PROPN
ejpam-3770	117	4	,	,	PUNCT
ejpam-3770	117	5	1977	1977	NUM
ejpam-3770	117	6	.	.	PUNCT
ejpam-3770	118	1	[	[	X
ejpam-3770	118	2	2	2	NUM
ejpam-3770	118	3	]	]	PUNCT
ejpam-3770	118	4	l.	l.	PROPN
ejpam-3770	118	5	kalantan	kalantan	PROPN
ejpam-3770	118	6	.	.	PUNCT
ejpam-3770	119	1	results	result	VERB
ejpam-3770	119	2	about	about	ADP
ejpam-3770	119	3	κ	κ	NOUN
ejpam-3770	119	4	-	-	NOUN
ejpam-3770	119	5	normality	normality	NOUN
ejpam-3770	119	6	.	.	PUNCT
ejpam-3770	120	1	topology	topology	NOUN
ejpam-3770	120	2	and	and	CCONJ
ejpam-3770	120	3	its	its	PRON
ejpam-3770	120	4	applications	application	NOUN
ejpam-3770	120	5	,	,	PUNCT
ejpam-3770	120	6	125:47–62	125:47–62	NUM
ejpam-3770	120	7	,	,	PUNCT
ejpam-3770	120	8	2002	2002	NUM
ejpam-3770	120	9	.	.	PUNCT
ejpam-3770	121	1	[	[	X
ejpam-3770	121	2	3	3	X
ejpam-3770	121	3	]	]	X
ejpam-3770	121	4	l.	l.	PROPN
ejpam-3770	121	5	kalantan	kalantan	PROPN
ejpam-3770	121	6	.	.	PUNCT
ejpam-3770	122	1	π	π	X
ejpam-3770	122	2	-	-	ADJ
ejpam-3770	122	3	normal	normal	ADJ
ejpam-3770	122	4	topological	topological	ADJ
ejpam-3770	122	5	spaces	space	NOUN
ejpam-3770	122	6	.	.	PUNCT
ejpam-3770	123	1	filomat	filomat	PROPN
ejpam-3770	123	2	,	,	PUNCT
ejpam-3770	123	3	22(1):173–181	22(1):173–181	NUM
ejpam-3770	123	4	,	,	PUNCT
ejpam-3770	123	5	2008	2008	NUM
ejpam-3770	123	6	.	.	PUNCT
ejpam-3770	124	1	[	[	X
ejpam-3770	124	2	4	4	X
ejpam-3770	124	3	]	]	X
ejpam-3770	124	4	s.	s.	PROPN
ejpam-3770	124	5	mrówkas	mrówkas	PROPN
ejpam-3770	124	6	.	.	PUNCT
ejpam-3770	124	7	mrówka	mrówka	PROPN
ejpam-3770	124	8	.	.	PUNCT
ejpam-3770	125	1	on	on	ADP
ejpam-3770	125	2	completely	completely	ADV
ejpam-3770	125	3	regular	regular	ADJ
ejpam-3770	125	4	spaces	space	NOUN
ejpam-3770	125	5	.	.	PUNCT
ejpam-3770	126	1	fundamenta	fundamenta	PROPN
ejpam-3770	126	2	mathematicae	mathematicae	PROPN
ejpam-3770	126	3	,	,	PUNCT
ejpam-3770	126	4	41:105–106	41:105–106	NUM
ejpam-3770	126	5	,	,	PUNCT
ejpam-3770	126	6	1954	1954	NUM
ejpam-3770	126	7	.	.	PUNCT
ejpam-3770	127	1	[	[	X
ejpam-3770	127	2	5	5	X
ejpam-3770	127	3	]	]	PUNCT
ejpam-3770	127	4	e.	e.	PROPN
ejpam-3770	127	5	v.	v.	PROPN
ejpam-3770	127	6	shchepin	shchepin	PROPN
ejpam-3770	127	7	.	.	PUNCT
ejpam-3770	128	1	real	real	ADV
ejpam-3770	128	2	valued	value	VERB
ejpam-3770	128	3	functions	function	NOUN
ejpam-3770	128	4	and	and	CCONJ
ejpam-3770	128	5	spaces	space	NOUN
ejpam-3770	128	6	close	close	ADV
ejpam-3770	128	7	to	to	ADP
ejpam-3770	128	8	normal	normal	ADJ
ejpam-3770	128	9	.	.	PUNCT
ejpam-3770	129	1	sib	sib	PROPN
ejpam-3770	129	2	.	.	PUNCT
ejpam-3770	130	1	j.	j.	PROPN
ejpam-3770	130	2	math	math	PROPN
ejpam-3770	130	3	.	.	PUNCT
ejpam-3770	130	4	,	,	PUNCT
ejpam-3770	130	5	13:1182–1196	13:1182–1196	NUM
ejpam-3770	130	6	.	.	PROPN
ejpam-3770	130	7	,	,	PUNCT
ejpam-3770	130	8	1972	1972	NUM
ejpam-3770	130	9	.	.	PUNCT
ejpam-3770	131	1	[	[	X
ejpam-3770	131	2	6	6	NUM
ejpam-3770	131	3	]	]	X
ejpam-3770	131	4	m.k	m.k	PROPN
ejpam-3770	131	5	.	.	PROPN
ejpam-3770	131	6	singal	singal	PROPN
ejpam-3770	131	7	and	and	CCONJ
ejpam-3770	131	8	a.r	a.r	PROPN
ejpam-3770	131	9	.	.	PROPN
ejpam-3770	131	10	singal	singal	PROPN
ejpam-3770	131	11	.	.	PUNCT
ejpam-3770	132	1	mildly	mildly	ADV
ejpam-3770	132	2	normal	normal	ADJ
ejpam-3770	132	3	spaces	space	NOUN
ejpam-3770	132	4	.	.	PUNCT
ejpam-3770	133	1	kyungpook	kyungpook	PROPN
ejpam-3770	133	2	math	math	PROPN
ejpam-3770	133	3	j.	j.	PROPN
ejpam-3770	133	4	,	,	PUNCT
ejpam-3770	133	5	13:27–31	13:27–31	PROPN
ejpam-3770	133	6	,	,	PUNCT
ejpam-3770	133	7	1973	1973	NUM
ejpam-3770	133	8	.	.	PUNCT
ejpam-3770	134	1	[	[	X
ejpam-3770	134	2	7	7	X
ejpam-3770	134	3	]	]	PUNCT
ejpam-3770	134	4	e.	e.	PROPN
ejpam-3770	134	5	k.	k.	PROPN
ejpam-3770	134	6	van	van	PROPN
ejpam-3770	134	7	douwen	douwen	PROPN
ejpam-3770	134	8	.	.	PUNCT
ejpam-3770	135	1	the	the	DET
ejpam-3770	135	2	integers	integer	NOUN
ejpam-3770	135	3	and	and	CCONJ
ejpam-3770	135	4	topology	topology	NOUN
ejpam-3770	135	5	.	.	PUNCT
ejpam-3770	136	1	handbook	handbook	NOUN
ejpam-3770	136	2	of	of	ADP
ejpam-3770	136	3	set	set	NOUN
ejpam-3770	136	4	-	-	PUNCT
ejpam-3770	136	5	theoretic	theoretic	NOUN
ejpam-3770	136	6	topology	topology	NOUN
ejpam-3770	136	7	,	,	PUNCT
ejpam-3770	136	8	north	north	NOUN
ejpam-3770	136	9	-	-	PUNCT
ejpam-3770	136	10	holland	holland	NOUN
ejpam-3770	136	11	,	,	PUNCT
ejpam-3770	136	12	1984	1984	NUM
ejpam-3770	136	13	.	.	PUNCT
ejpam-3770	137	1	[	[	X
ejpam-3770	137	2	8	8	NUM
ejpam-3770	137	3	]	]	X
ejpam-3770	137	4	v.	v.	NOUN
ejpam-3770	137	5	zaitsev	zaitsev	NOUN
ejpam-3770	137	6	.	.	PUNCT
ejpam-3770	138	1	on	on	ADP
ejpam-3770	138	2	certain	certain	ADJ
ejpam-3770	138	3	classes	class	NOUN
ejpam-3770	138	4	of	of	ADP
ejpam-3770	138	5	topological	topological	ADJ
ejpam-3770	138	6	spaces	space	NOUN
ejpam-3770	138	7	and	and	CCONJ
ejpam-3770	138	8	their	their	PRON
ejpam-3770	138	9	bicompactifications	bicompactification	NOUN
ejpam-3770	138	10	.	.	PUNCT
ejpam-3770	139	1	dokl	dokl	NOUN
ejpam-3770	139	2	.	.	PUNCT
ejpam-3770	140	1	akad	akad	PROPN
ejpam-3770	140	2	.	.	PUNCT
ejpam-3770	141	1	nauk	nauk	PROPN
ejpam-3770	141	2	sssr	sssr	PROPN
ejpam-3770	141	3	,	,	PUNCT
ejpam-3770	141	4	178:778–779	178:778–779	NUM
ejpam-3770	141	5	,	,	PUNCT
ejpam-3770	141	6	1968	1968	NUM
ejpam-3770	141	7	.	.	PUNCT