id	sid	tid	token	lemma	pos
iajs-64	1	1	microsoft	microsoft	PROPN
iajs-64	1	2	word	word	NOUN
iajs-64	1	3	267	267	NUM
iajs-64	1	4	-	-	SYM
iajs-64	1	5	276	276	NUM
iajs-64	1	6	267	267	NUM
iajs-64	1	7	|	|	NOUN
iajs-64	1	8	mathematics	mathematic	NOUN
iajs-64	1	9	2016	2016	NUM
iajs-64	1	10	)	)	PUNCT
iajs-64	1	11	عام	عام	ADP
iajs-64	1	12	1العدد	1العدد	NUM
iajs-64	1	13	(	(	PUNCT
iajs-64	1	14	29مجلة	29مجلة	NUM
iajs-64	1	15	إبن	إبن	VERB
iajs-64	1	16	الهيثم	الهيثم	ADJ
iajs-64	1	17	للعلوم	للعلوم	NOUN
iajs-64	1	18	الصرفة	الصرفة	NOUN
iajs-64	2	1	و	و	PRON
iajs-64	2	2	التطبيقية	التطبيقية	ADV
iajs-64	2	3	المجلد	المجلد	VERB
iajs-64	2	4	ibn	ibn	PROPN
iajs-64	2	5	al	al	PROPN
iajs-64	2	6	-	-	PUNCT
iajs-64	2	7	haitham	haitham	PROPN
iajs-64	2	8	j.	j.	PROPN
iajs-64	2	9	for	for	ADP
iajs-64	2	10	pure	pure	PROPN
iajs-64	2	11	&	&	CCONJ
iajs-64	2	12	appl	appl	PROPN
iajs-64	2	13	.	.	PUNCT
iajs-64	3	1	sci	sci	PROPN
iajs-64	3	2	.	.	PUNCT
iajs-64	4	1	vol.29	vol.29	PROPN
iajs-64	4	2	(	(	PUNCT
iajs-64	4	3	1	1	NUM
iajs-64	4	4	)	)	SYM
iajs-64	4	5	2016	2016	NUM
iajs-64	4	6	weak	weak	ADJ
iajs-64	4	7	n	n	CCONJ
iajs-64	4	8	-	-	PUNCT
iajs-64	4	9	open	open	ADJ
iajs-64	4	10	sets	set	VERB
iajs-64	4	11	amer	amer	PROPN
iajs-64	4	12	i.	i.	PROPN
iajs-64	4	13	l	l	PROPN
iajs-64	4	14	al	al	PROPN
iajs-64	4	15	-	-	PUNCT
iajs-64	4	16	saeed	saeed	PROPN
iajs-64	4	17	dept	dept	PROPN
iajs-64	4	18	.	.	PROPN
iajs-64	5	1	of	of	ADP
iajs-64	5	2	mathematics	mathematics	PROPN
iajs-64	5	3	/	/	SYM
iajs-64	5	4	college	college	NOUN
iajs-64	5	5	of	of	ADP
iajs-64	5	6	science	science	PROPN
iajs-64	5	7	/al	/al	PROPN
iajs-64	5	8	-	-	PUNCT
iajs-64	5	9	mustansiriya	mustansiriya	NOUN
iajs-64	5	10	university	university	NOUN
iajs-64	5	11	received	receive	VERB
iajs-64	5	12	in:30	in:30	PROPN
iajs-64	5	13	/	/	SYM
iajs-64	5	14	april/2015,accepted	april/2015,accepte	VERB
iajs-64	5	15	in:6	in:6	PROPN
iajs-64	5	16	/	/	SYM
iajs-64	5	17	december/2016	december/2016	PROPN
iajs-64	5	18	abstract	abstract	ADV
iajs-64	5	19	in	in	ADP
iajs-64	5	20	this	this	DET
iajs-64	5	21	paper	paper	NOUN
iajs-64	5	22	we	we	PRON
iajs-64	5	23	introduce	introduce	VERB
iajs-64	5	24	new	new	ADJ
iajs-64	5	25	class	class	NOUN
iajs-64	5	26	of	of	ADP
iajs-64	5	27	open	open	ADJ
iajs-64	5	28	sets	set	NOUN
iajs-64	5	29	called	call	VERB
iajs-64	5	30	weak	weak	ADJ
iajs-64	5	31	n	n	CCONJ
iajs-64	5	32	-	-	PUNCT
iajs-64	5	33	open	open	ADJ
iajs-64	5	34	sets	set	NOUN
iajs-64	5	35	and	and	CCONJ
iajs-64	5	36	we	we	PRON
iajs-64	5	37	study	study	VERB
iajs-64	5	38	the	the	DET
iajs-64	5	39	relation	relation	NOUN
iajs-64	5	40	between	between	ADP
iajs-64	5	41	n	n	ADV
iajs-64	5	42	-	-	PUNCT
iajs-64	5	43	open	open	ADJ
iajs-64	5	44	sets	set	NOUN
iajs-64	5	45	,	,	PUNCT
iajs-64	5	46	weak	weak	ADJ
iajs-64	5	47	n	n	CCONJ
iajs-64	5	48	-	-	PUNCT
iajs-64	5	49	open	open	ADJ
iajs-64	5	50	sets	set	NOUN
iajs-64	5	51	and	and	CCONJ
iajs-64	5	52	some	some	DET
iajs-64	5	53	other	other	ADJ
iajs-64	5	54	open	open	ADJ
iajs-64	5	55	sets	set	NOUN
iajs-64	5	56	.	.	PUNCT
iajs-64	6	1	we	we	PRON
iajs-64	6	2	prove	prove	VERB
iajs-64	6	3	several	several	ADJ
iajs-64	6	4	results	result	NOUN
iajs-64	6	5	about	about	ADP
iajs-64	6	6	them	they	PRON
iajs-64	6	7	.	.	PUNCT
iajs-64	7	1	keywords	keyword	NOUN
iajs-64	7	2	:	:	PUNCT
iajs-64	7	3	n	n	CCONJ
iajs-64	7	4	-	-	PUNCT
iajs-64	7	5	open	open	ADJ
iajs-64	7	6	,	,	PUNCT
iajs-64	7	7	semi	semi	ADJ
iajs-64	7	8	-	-	ADJ
iajs-64	7	9	open	open	ADJ
iajs-64	7	10	,	,	PUNCT
iajs-64	7	11			X
iajs-64	7	12	-open	-open	VERB
iajs-64	7	13	,	,	PUNCT
iajs-64	7	14	b	b	NOUN
iajs-64	7	15	-	-	PUNCT
iajs-64	7	16	open	open	ADJ
iajs-64	7	17	,	,	PUNCT
iajs-64	7	18	β	β	NOUN
iajs-64	7	19	-	-	ADJ
iajs-64	7	20	open	open	ADJ
iajs-64	7	21	,	,	PUNCT
iajs-64	7	22			X
iajs-64	7	23	-closed	-close	VERB
iajs-64	7	24	.	.	PUNCT
iajs-64	7	25	268	268	NUM
iajs-64	8	1	|	|	ADV
iajs-64	8	2	mathematics	mathematic	NOUN
iajs-64	8	3	2016	2016	NUM
iajs-64	8	4	)	)	PUNCT
iajs-64	8	5	عام	عام	ADP
iajs-64	8	6	1العدد	1العدد	NUM
iajs-64	8	7	(	(	PUNCT
iajs-64	8	8	29لمجلد	29لمجلد	NUM
iajs-64	8	9	ا	ا	X
iajs-64	8	10	مجلة	مجلة	NOUN
iajs-64	8	11	إبن	إبن	VERB
iajs-64	8	12	الهيثم	الهيثم	ADJ
iajs-64	8	13	للعلوم	للعلوم	NOUN
iajs-64	8	14	الصرفة	الصرفة	NOUN
iajs-64	9	1	و	و	PRON
iajs-64	9	2	التطبيقية	التطبيقية	ADJ
iajs-64	9	3	ibn	ibn	PROPN
iajs-64	9	4	al	al	PROPN
iajs-64	9	5	-	-	PUNCT
iajs-64	9	6	haitham	haitham	PROPN
iajs-64	9	7	j.	j.	PROPN
iajs-64	9	8	for	for	ADP
iajs-64	9	9	pure	pure	PROPN
iajs-64	9	10	&	&	CCONJ
iajs-64	9	11	appl	appl	PROPN
iajs-64	9	12	.	.	PUNCT
iajs-64	10	1	sci	sci	PROPN
iajs-64	10	2	.	.	PUNCT
iajs-64	11	1	vol.29	vol.29	PROPN
iajs-64	11	2	(	(	PUNCT
iajs-64	11	3	1	1	NUM
iajs-64	11	4	)	)	SYM
iajs-64	11	5	2016	2016	NUM
iajs-64	11	6	introduction	introduction	NOUN
iajs-64	11	7	let	let	VERB
iajs-64	11	8	)	)	PUNCT
iajs-64	11	9	,	,	PUNCT
iajs-64	11	10	(	(	PUNCT
iajs-64	11	11	x	x	PROPN
iajs-64	11	12	be	be	AUX
iajs-64	11	13	a	a	DET
iajs-64	11	14	topological	topological	ADJ
iajs-64	11	15	space	space	NOUN
iajs-64	11	16	(	(	PUNCT
iajs-64	11	17	or	or	CCONJ
iajs-64	11	18	simply	simply	ADV
iajs-64	11	19	,	,	PUNCT
iajs-64	11	20	a	a	DET
iajs-64	11	21	space	space	NOUN
iajs-64	11	22	)	)	PUNCT
iajs-64	11	23	and	and	CCONJ
iajs-64	11	24	xa	xa	PROPN
iajs-64	11	25			PROPN
iajs-64	11	26	.	.	PUNCT
iajs-64	12	1	then	then	ADV
iajs-64	12	2	the	the	DET
iajs-64	12	3	closure	closure	NOUN
iajs-64	12	4	of	of	ADP
iajs-64	12	5	a	a	PRON
iajs-64	12	6	and	and	CCONJ
iajs-64	12	7	the	the	DET
iajs-64	12	8	interior	interior	NOUN
iajs-64	12	9	of	of	ADP
iajs-64	12	10	a	a	PRON
iajs-64	12	11	will	will	AUX
iajs-64	12	12	be	be	AUX
iajs-64	12	13	denoted	denote	VERB
iajs-64	12	14	by	by	ADP
iajs-64	12	15	)	)	PUNCT
iajs-64	12	16	(	(	PUNCT
iajs-64	12	17	acl	acl	PROPN
iajs-64	12	18	and	and	CCONJ
iajs-64	12	19	)	)	PUNCT
iajs-64	12	20	int	int	NOUN
iajs-64	12	21	(	(	PUNCT
iajs-64	12	22	a	a	PRON
iajs-64	12	23	,	,	PUNCT
iajs-64	12	24	respectively	respectively	ADV
iajs-64	12	25	.	.	PUNCT
iajs-64	13	1	a	a	DET
iajs-64	13	2	subset	subset	NOUN
iajs-64	13	3	xa	xa	PROPN
iajs-64	13	4			PROPN
iajs-64	13	5	is	be	AUX
iajs-64	13	6	called	call	VERB
iajs-64	13	7	semi	semi	ADJ
iajs-64	13	8	-	-	ADJ
iajs-64	13	9	open	open	ADJ
iajs-64	13	10	[	[	X
iajs-64	13	11	1	1	NUM
iajs-64	13	12	]	]	X
iajs-64	13	13	if	if	SCONJ
iajs-64	13	14	there	there	PRON
iajs-64	13	15	exists	exist	VERB
iajs-64	13	16	an	an	DET
iajs-64	13	17	open	open	ADJ
iajs-64	13	18	set	set	NOUN
iajs-64	13	19	o	o	ADP
iajs-64	13	20	such	such	ADJ
iajs-64	13	21	that	that	PRON
iajs-64	13	22	)	)	PUNCT
iajs-64	13	23	(	(	PUNCT
iajs-64	13	24	oclao	oclao	PROPN
iajs-64	13	25			PROPN
iajs-64	13	26	.	.	PUNCT
iajs-64	14	1	clearly	clearly	ADV
iajs-64	14	2	a	a	PRON
iajs-64	14	3	is	be	AUX
iajs-64	14	4	semi	semi	ADJ
iajs-64	14	5	-	-	ADJ
iajs-64	14	6	open	open	ADJ
iajs-64	14	7	if	if	SCONJ
iajs-64	14	8	and	and	CCONJ
iajs-64	14	9	only	only	ADV
iajs-64	14	10	if	if	SCONJ
iajs-64	14	11	)	)	PUNCT
iajs-64	14	12	)	)	PUNCT
iajs-64	15	1	(	(	PUNCT
iajs-64	15	2	int	int	NOUN
iajs-64	15	3	(	(	PUNCT
iajs-64	15	4	acla	acla	NOUN
iajs-64	15	5			PROPN
iajs-64	15	6	.	.	PUNCT
iajs-64	16	1	the	the	DET
iajs-64	16	2	complement	complement	NOUN
iajs-64	16	3	of	of	ADP
iajs-64	16	4	a	a	DET
iajs-64	16	5	semi	semi	ADJ
iajs-64	16	6	-	-	ADJ
iajs-64	16	7	open	open	ADJ
iajs-64	16	8	set	set	NOUN
iajs-64	16	9	is	be	AUX
iajs-64	16	10	called	call	VERB
iajs-64	16	11	semi	semi	ADJ
iajs-64	16	12	-	-	ADJ
iajs-64	16	13	closed	closed	ADJ
iajs-64	16	14	[	[	X
iajs-64	16	15	1	1	NUM
iajs-64	16	16	]	]	PUNCT
iajs-64	16	17	.	.	PUNCT
iajs-64	17	1	a	a	PRON
iajs-64	17	2	is	be	AUX
iajs-64	17	3	called	call	VERB
iajs-64	17	4	preopen	preopen	ADJ
iajs-64	17	5	[	[	X
iajs-64	17	6	2	2	NUM
iajs-64	17	7	]	]	PUNCT
iajs-64	17	8	(	(	PUNCT
iajs-64	17	9	respt	respt	NOUN
iajs-64	17	10	.	.	PUNCT
iajs-64	18	1			X
iajs-64	18	2	-open	-open	VERB
iajs-64	18	3	[	[	X
iajs-64	18	4	3],b	3],b	NOUN
iajs-64	18	5	-	-	PUNCT
iajs-64	18	6	open[4	open[4	NOUN
iajs-64	18	7	]	]	PUNCT
iajs-64	18	8	,	,	PUNCT
iajs-64	18	9	β	β	X
iajs-64	18	10	-	-	PUNCT
iajs-64	18	11	open[5	open[5	NUM
iajs-64	18	12	]	]	PUNCT
iajs-64	18	13	)	)	PUNCT
iajs-64	18	14	if	if	SCONJ
iajs-64	18	15	)	)	PUNCT
iajs-64	18	16	)	)	PUNCT
iajs-64	18	17	(	(	PUNCT
iajs-64	18	18	int	int	NOUN
iajs-64	18	19	(	(	PUNCT
iajs-64	18	20	acla	acla	NOUN
iajs-64	18	21			PROPN
iajs-64	18	22	(	(	PUNCT
iajs-64	18	23	respt	respt	NOUN
iajs-64	18	24	.	.	PUNCT
iajs-64	18	25	)	)	PUNCT
iajs-64	18	26	)	)	PUNCT
iajs-64	18	27	)	)	PUNCT
iajs-64	18	28	(	(	PUNCT
iajs-64	18	29	int(int	int(int	NOUN
iajs-64	18	30	(	(	PUNCT
iajs-64	18	31	acla	acla	NOUN
iajs-64	18	32			PROPN
iajs-64	18	33	,	,	PUNCT
iajs-64	18	34	)	)	PUNCT
iajs-64	18	35	)	)	PUNCT
iajs-64	18	36	(	(	PUNCT
iajs-64	18	37	int())(int	int())(int	NOUN
iajs-64	18	38	(	(	PUNCT
iajs-64	18	39	aclacla	aclacla	ADJ
iajs-64	18	40			PROPN
iajs-64	18	41	,	,	PUNCT
iajs-64	18	42	)	)	PUNCT
iajs-64	18	43	)	)	PUNCT
iajs-64	18	44	)	)	PUNCT
iajs-64	18	45	(	(	PUNCT
iajs-64	18	46	int(clacla	int(clacla	NOUN
iajs-64	18	47			PROPN
iajs-64	18	48	)	)	PUNCT
iajs-64	18	49	.	.	PUNCT
iajs-64	19	1	a	a	DET
iajs-64	19	2	space	space	NOUN
iajs-64	19	3	)	)	PUNCT
iajs-64	19	4	,	,	PUNCT
iajs-64	19	5	(	(	PUNCT
iajs-64	19	6	x	x	PROPN
iajs-64	19	7	is	be	AUX
iajs-64	19	8	called	call	VERB
iajs-64	19	9	anti	anti	ADJ
iajs-64	19	10	-	-	ADJ
iajs-64	19	11	locally	locally	ADV
iajs-64	19	12	countable	countable	ADJ
iajs-64	19	13	[	[	X
iajs-64	19	14	8	8	NUM
iajs-64	19	15	]	]	X
iajs-64	19	16	if	if	SCONJ
iajs-64	19	17	every	every	DET
iajs-64	19	18	non	non	ADJ
iajs-64	19	19	-	-	ADJ
iajs-64	19	20	empty	empty	ADJ
iajs-64	19	21	open	open	ADJ
iajs-64	19	22	subset	subset	NOUN
iajs-64	19	23	is	be	AUX
iajs-64	19	24	uncountable	uncountable	ADJ
iajs-64	19	25	.	.	PUNCT
iajs-64	20	1	in	in	ADP
iajs-64	20	2	[	[	X
iajs-64	20	3	6	6	NUM
iajs-64	20	4	]	]	PUNCT
iajs-64	20	5	,	,	PUNCT
iajs-64	20	6	the	the	DET
iajs-64	20	7	concept	concept	NOUN
iajs-64	20	8	of	of	ADP
iajs-64	20	9			PROPN
iajs-64	20	10	-closed	-close	VERB
iajs-64	20	11	subsets	subset	NOUN
iajs-64	20	12	was	be	AUX
iajs-64	20	13	explored	explore	VERB
iajs-64	20	14	where	where	SCONJ
iajs-64	20	15	a	a	DET
iajs-64	20	16	subset	subset	NOUN
iajs-64	20	17	a	a	PRON
iajs-64	20	18	of	of	ADP
iajs-64	20	19	a	a	DET
iajs-64	20	20	space	space	NOUN
iajs-64	20	21	)	)	PUNCT
iajs-64	20	22	,	,	PUNCT
iajs-64	20	23	(	(	PUNCT
iajs-64	20	24	x	x	PROPN
iajs-64	20	25	is	be	AUX
iajs-64	20	26			PROPN
iajs-64	20	27	-closed	-close	VERB
iajs-64	20	28	if	if	SCONJ
iajs-64	20	29	it	it	PRON
iajs-64	20	30	contains	contain	VERB
iajs-64	20	31	all	all	PRON
iajs-64	20	32	of	of	ADP
iajs-64	20	33	its	its	PRON
iajs-64	20	34	condensation	condensation	NOUN
iajs-64	20	35	points	point	NOUN
iajs-64	20	36	(	(	PUNCT
iajs-64	20	37	a	a	DET
iajs-64	20	38	point	point	NOUN
iajs-64	20	39	x	x	PUNCT
iajs-64	20	40	is	be	AUX
iajs-64	20	41	a	a	DET
iajs-64	20	42	condensation	condensation	NOUN
iajs-64	20	43	point	point	NOUN
iajs-64	20	44	of	of	ADP
iajs-64	20	45	a	a	DET
iajs-64	20	46	if	if	SCONJ
iajs-64	20	47	ua	ua	ADJ
iajs-64	20	48	is	be	AUX
iajs-64	20	49	uncountable	uncountable	ADJ
iajs-64	20	50	for	for	SCONJ
iajs-64	20	51	every	every	DET
iajs-64	20	52	open	open	ADJ
iajs-64	20	53	u	u	NOUN
iajs-64	20	54	containing	contain	VERB
iajs-64	20	55	x	x	NOUN
iajs-64	20	56	)	)	PUNCT
iajs-64	20	57	.	.	PUNCT
iajs-64	21	1	the	the	DET
iajs-64	21	2	complement	complement	NOUN
iajs-64	21	3	of	of	ADP
iajs-64	21	4	an	an	DET
iajs-64	21	5			X
iajs-64	21	6	-closed	-close	VERB
iajs-64	21	7	set	set	NOUN
iajs-64	21	8	is	be	AUX
iajs-64	21	9	called	call	VERB
iajs-64	21	10			ADJ
iajs-64	21	11	open	open	ADJ
iajs-64	21	12	or	or	CCONJ
iajs-64	21	13	equivalently	equivalently	ADV
iajs-64	21	14	for	for	ADP
iajs-64	21	15	each	each	DET
iajs-64	21	16	ax	ax	NOUN
iajs-64	21	17	,	,	PUNCT
iajs-64	21	18	there	there	PRON
iajs-64	21	19	exists	exist	VERB
iajs-64	21	20	u	u	NOUN
iajs-64	21	21	such	such	ADJ
iajs-64	21	22	that	that	SCONJ
iajs-64	21	23	ux	ux	NOUN
iajs-64	21	24	and	and	CCONJ
iajs-64	21	25	au	au	PROPN
iajs-64	21	26			PROPN
iajs-64	21	27	is	be	AUX
iajs-64	21	28	countable	countable	ADJ
iajs-64	21	29	.	.	PUNCT
iajs-64	22	1			PROPN
iajs-64	22	2	-closure	-closure	NOUN
iajs-64	22	3	and	and	CCONJ
iajs-64	22	4			PROPN
iajs-64	22	5	-interior	-interior	NOUN
iajs-64	22	6	,	,	PUNCT
iajs-64	22	7	that	that	PRON
iajs-64	22	8	can	can	AUX
iajs-64	22	9	be	be	AUX
iajs-64	22	10	defined	define	VERB
iajs-64	22	11	in	in	ADP
iajs-64	22	12	an	an	DET
iajs-64	22	13	analogous	analogous	ADJ
iajs-64	22	14	manner	manner	NOUN
iajs-64	22	15	to	to	ADP
iajs-64	22	16	)	)	PUNCT
iajs-64	22	17	(	(	PUNCT
iajs-64	22	18	acl	acl	PROPN
iajs-64	22	19	and	and	CCONJ
iajs-64	22	20	)	)	PUNCT
iajs-64	22	21	int	int	NOUN
iajs-64	22	22	(	(	PUNCT
iajs-64	22	23	a	a	PRON
iajs-64	22	24	,	,	PUNCT
iajs-64	22	25	will	will	AUX
iajs-64	22	26	be	be	AUX
iajs-64	22	27	denoted	denote	VERB
iajs-64	22	28	by	by	ADP
iajs-64	22	29	)	)	PUNCT
iajs-64	22	30	(	(	PUNCT
iajs-64	22	31	acl	acl	NOUN
iajs-64	22	32	and	and	CCONJ
iajs-64	22	33	)	)	PUNCT
iajs-64	22	34	(	(	PUNCT
iajs-64	22	35	int	int	NOUN
iajs-64	22	36	a	a	ADV
iajs-64	22	37	,	,	PUNCT
iajs-64	22	38	respectively	respectively	ADV
iajs-64	22	39	.	.	PUNCT
iajs-64	23	1	for	for	ADP
iajs-64	23	2	several	several	ADJ
iajs-64	23	3	characterizations	characterization	NOUN
iajs-64	23	4	of	of	ADP
iajs-64	23	5			PROPN
iajs-64	23	6	-closed	-close	VERB
iajs-64	23	7	subsets	subset	NOUN
iajs-64	23	8	,	,	PUNCT
iajs-64	23	9	see	see	VERB
iajs-64	23	10	[	[	X
iajs-64	23	11	7,8	7,8	NUM
iajs-64	23	12	]	]	PUNCT
iajs-64	23	13	.	.	PUNCT
iajs-64	24	1	weak	weak	ADJ
iajs-64	24	2	n	n	CCONJ
iajs-64	24	3	-	-	PUNCT
iajs-64	24	4	open	open	ADJ
iajs-64	24	5	sets	set	NOUN
iajs-64	24	6	definition[8,9	definition[8,9	NOUN
iajs-64	24	7	]	]	X
iajs-64	24	8	2.1	2.1	NUM
iajs-64	24	9	:	:	PUNCT
iajs-64	24	10	a	a	DET
iajs-64	24	11	subset	subset	NOUN
iajs-64	24	12	a	a	PRON
iajs-64	24	13	of	of	ADP
iajs-64	24	14	a	a	DET
iajs-64	24	15	topological	topological	ADJ
iajs-64	24	16	space	space	NOUN
iajs-64	24	17	(	(	PUNCT
iajs-64	24	18	x	x	X
iajs-64	24	19	,	,	PUNCT
iajs-64	24	20	τ	τ	X
iajs-64	24	21	)	)	PUNCT
iajs-64	24	22	is	be	AUX
iajs-64	24	23	called	call	VERB
iajs-64	24	24	:	:	PUNCT
iajs-64	24	25	1	1	X
iajs-64	24	26	)	)	PUNCT
iajs-64	24	27	pre-	pre-	VERB
iajs-64	24	28	-open	-open	NOUN
iajs-64	24	29	if	if	SCONJ
iajs-64	24	30	)	)	PUNCT
iajs-64	24	31	)	)	PUNCT
iajs-64	24	32	(	(	PUNCT
iajs-64	24	33	(	(	PUNCT
iajs-64	24	34	int	int	NOUN
iajs-64	24	35	acla	acla	NOUN
iajs-64	24	36			NOUN
iajs-64	24	37	.	.	PUNCT
iajs-64	25	1	2	2	X
iajs-64	25	2	)	)	PUNCT
iajs-64	25	3			NOUN
iajs-64	25	4	-	-	X
iajs-64	25	5	-open	-open	VERB
iajs-64	25	6	if	if	SCONJ
iajs-64	25	7	)	)	PUNCT
iajs-64	25	8	)	)	PUNCT
iajs-64	25	9	)	)	PUNCT
iajs-64	26	1	(	(	PUNCT
iajs-64	26	2	(	(	PUNCT
iajs-64	26	3	int(int	int(int	NOUN
iajs-64	26	4	acla	acla	NOUN
iajs-64	26	5			PROPN
iajs-64	26	6	.	.	PUNCT
iajs-64	27	1	3	3	X
iajs-64	27	2	)	)	PUNCT
iajs-64	27	3	b-	b-	X
iajs-64	27	4	-open	-open	VERB
iajs-64	27	5	if	if	SCONJ
iajs-64	27	6	)	)	PUNCT
iajs-64	27	7	)	)	PUNCT
iajs-64	27	8	(	(	PUNCT
iajs-64	27	9	(	(	PUNCT
iajs-64	27	10	int))((int	int))((int	NOUN
iajs-64	27	11	aclacla	aclacla	ADJ
iajs-64	27	12			X
iajs-64	27	13			PROPN
iajs-64	27	14	.	.	PUNCT
iajs-64	28	1	4	4	X
iajs-64	28	2	)	)	PUNCT
iajs-64	28	3			NOUN
iajs-64	28	4	-	-	PUNCT
iajs-64	28	5	-open	-open	NOUN
iajs-64	28	6	if	if	SCONJ
iajs-64	28	7	)	)	PUNCT
iajs-64	28	8	)	)	PUNCT
iajs-64	28	9	)	)	PUNCT
iajs-64	29	1	(	(	PUNCT
iajs-64	29	2	(	(	PUNCT
iajs-64	29	3	(	(	PUNCT
iajs-64	29	4	int	int	NOUN
iajs-64	29	5	aclcl	aclcl	NOUN
iajs-64	29	6			X
iajs-64	29	7	.	.	PUNCT
iajs-64	29	8	5	5	NUM
iajs-64	29	9	)	)	PUNCT
iajs-64	29	10	n	n	CCONJ
iajs-64	29	11	-	-	PUNCT
iajs-64	29	12	open	open	ADJ
iajs-64	29	13	subset	subset	NOUN
iajs-64	29	14	of	of	ADP
iajs-64	29	15	x	x	PRON
iajs-64	29	16	if	if	SCONJ
iajs-64	29	17	for	for	ADP
iajs-64	29	18	any	any	DET
iajs-64	29	19	x	x	NOUN
iajs-64	29	20	in	in	ADP
iajs-64	29	21	a	a	DET
iajs-64	29	22	there	there	NOUN
iajs-64	29	23	exists	exist	VERB
iajs-64	29	24	an	an	DET
iajs-64	29	25	open	open	ADJ
iajs-64	29	26	set	set	NOUN
iajs-64	29	27	u	u	NOUN
iajs-64	29	28	containing	contain	VERB
iajs-64	29	29	x	x	PUNCT
iajs-64	29	30	such	such	ADJ
iajs-64	29	31	that	that	SCONJ
iajs-64	29	32	u\a	u\a	PROPN
iajs-64	29	33	is	be	AUX
iajs-64	29	34	finite	finite	ADJ
iajs-64	29	35	.	.	PUNCT
iajs-64	30	1	remark[9	remark[9	SYM
iajs-64	30	2	]	]	X
iajs-64	31	1	2.2	2.2	NUM
iajs-64	31	2	:	:	PUNCT
iajs-64	31	3	every	every	DET
iajs-64	31	4	open	open	ADJ
iajs-64	31	5	set	set	NOUN
iajs-64	31	6	is	be	AUX
iajs-64	31	7	n	n	ADV
iajs-64	31	8	-	-	PUNCT
iajs-64	31	9	open	open	ADJ
iajs-64	31	10	and	and	CCONJ
iajs-64	31	11	every	every	DET
iajs-64	31	12	n	n	ADV
iajs-64	31	13	-	-	PUNCT
iajs-64	31	14	open	open	ADJ
iajs-64	31	15	set	set	NOUN
iajs-64	31	16	is	be	AUX
iajs-64	31	17	ω	ω	NOUN
iajs-64	31	18	-	-	NOUN
iajs-64	31	19	open	open	ADJ
iajs-64	31	20	.	.	PUNCT
iajs-64	32	1	the	the	DET
iajs-64	32	2	converse	converse	NOUN
iajs-64	32	3	of	of	ADP
iajs-64	32	4	above	above	ADJ
iajs-64	32	5	remark	remark	NOUN
iajs-64	32	6	may	may	AUX
iajs-64	32	7	be	be	AUX
iajs-64	32	8	not	not	PART
iajs-64	32	9	true	true	ADJ
iajs-64	32	10	in	in	ADP
iajs-64	32	11	general	general	ADJ
iajs-64	32	12	as	as	SCONJ
iajs-64	32	13	seen	see	VERB
iajs-64	32	14	in	in	ADP
iajs-64	32	15	the	the	DET
iajs-64	32	16	following	follow	VERB
iajs-64	32	17	examples	example	NOUN
iajs-64	32	18	.	.	PUNCT
iajs-64	33	1	examples	example	NOUN
iajs-64	33	2	2.3	2.3	NUM
iajs-64	33	3	:	:	PUNCT
iajs-64	33	4	(	(	PUNCT
iajs-64	33	5	1	1	X
iajs-64	33	6	)	)	PUNCT
iajs-64	33	7	let	let	VERB
iajs-64	33	8	n	n	PRON
iajs-64	33	9	be	be	AUX
iajs-64	33	10	the	the	DET
iajs-64	33	11	set	set	NOUN
iajs-64	33	12	of	of	ADP
iajs-64	33	13	natural	natural	ADJ
iajs-64	33	14	numbers	number	NOUN
iajs-64	33	15	with	with	ADP
iajs-64	33	16	topology	topology	NOUN
iajs-64	33	17	defined	define	VERB
iajs-64	33	18	on	on	ADP
iajs-64	33	19	it	it	PRON
iajs-64	33	20	by	by	ADP
iajs-64	33	21			NOUN
iajs-64	33	22	=	=	SYM
iajs-64	33	23	{	{	PUNCT
iajs-64	33	24	ui	ui	NOUN
iajs-64	33	25	:	:	PUNCT
iajs-64	33	26	ui=	ui=	PROPN
iajs-64	33	27	{	{	PUNCT
iajs-64	33	28	i	i	PROPN
iajs-64	33	29	,	,	PUNCT
iajs-64	33	30	i+1	i+1	PRON
iajs-64	33	31	,	,	PUNCT
iajs-64	33	32	i+2	i+2	PROPN
iajs-64	33	33	,	,	PUNCT
iajs-64	33	34	…	…	PUNCT
iajs-64	33	35	}	}	PUNCT
iajs-64	33	36	,	,	PUNCT
iajs-64	33	37	in	in	NOUN
iajs-64	33	38	}	}	PUNCT
iajs-64	33	39	}	}	PUNCT
iajs-64	33	40	{	{	PUNCT
iajs-64	33	41			X
iajs-64	33	42	,	,	PUNCT
iajs-64	33	43	then	then	ADV
iajs-64	33	44	u5	u5	ADJ
iajs-64	33	45	{	{	PUNCT
iajs-64	33	46	3	3	NUM
iajs-64	33	47	}	}	PUNCT
iajs-64	33	48	is	be	AUX
iajs-64	33	49	n	n	ADV
iajs-64	33	50	-	-	PUNCT
iajs-64	33	51	open	open	ADJ
iajs-64	33	52	since	since	SCONJ
iajs-64	33	53	for	for	ADP
iajs-64	33	54	any	any	DET
iajs-64	33	55	au5	au5	PUNCT
iajs-64	33	56	{	{	PUNCT
iajs-64	33	57	3	3	NUM
iajs-64	33	58	}	}	PUNCT
iajs-64	33	59	there	there	ADV
iajs-64	33	60	exists	exist	VERB
iajs-64	33	61	u2	u2	NOUN
iajs-64	33	62	containing	contain	VERB
iajs-64	33	63	a	a	DET
iajs-64	33	64	and	and	CCONJ
iajs-64	33	65	u2\	u2\	ADV
iajs-64	33	66	(	(	PUNCT
iajs-64	33	67	u5	u5	ADJ
iajs-64	33	68	{	{	PUNCT
iajs-64	33	69	3})={2,4	3})={2,4	NUM
iajs-64	33	70	}	}	PUNCT
iajs-64	33	71	is	be	AUX
iajs-64	33	72	finite	finite	ADJ
iajs-64	33	73	,	,	PUNCT
iajs-64	33	74	but	but	CCONJ
iajs-64	33	75	u5	u5	ADJ
iajs-64	33	76	{	{	PUNCT
iajs-64	33	77	3	3	NUM
iajs-64	33	78	}	}	PUNCT
iajs-64	33	79	is	be	AUX
iajs-64	33	80	not	not	PART
iajs-64	33	81	open	open	ADJ
iajs-64	33	82	.	.	PUNCT
iajs-64	34	1	(	(	PUNCT
iajs-64	34	2	2	2	X
iajs-64	34	3	)	)	PUNCT
iajs-64	34	4	let	let	AUX
iajs-64	34	5	(	(	PUNCT
iajs-64	34	6	r	r	NOUN
iajs-64	34	7	,	,	PUNCT
iajs-64	34	8	u	u	PROPN
iajs-64	34	9	)	)	PUNCT
iajs-64	34	10	be	be	AUX
iajs-64	34	11	usual	usual	ADJ
iajs-64	34	12	topological	topological	ADJ
iajs-64	34	13	space	space	NOUN
iajs-64	34	14	and	and	CCONJ
iajs-64	34	15	let	let	VERB
iajs-64	34	16	q	q	NOUN
iajs-64	34	17	be	be	AUX
iajs-64	34	18	rational	rational	ADJ
iajs-64	34	19	numbers	number	NOUN
iajs-64	34	20	then	then	ADV
iajs-64	34	21	r\q	r\q	PROPN
iajs-64	34	22	is	be	AUX
iajs-64	34	23	ω	ω	NOUN
iajs-64	34	24	-	-	NOUN
iajs-64	34	25	open	open	ADJ
iajs-64	34	26	since	since	SCONJ
iajs-64	34	27	for	for	ADP
iajs-64	34	28	any	any	DET
iajs-64	34	29	x	x	PUNCT
iajs-64	34	30	r\q	r\q	PRON
iajs-64	34	31	there	there	PRON
iajs-64	34	32	is	be	VERB
iajs-64	34	33	open	open	ADJ
iajs-64	34	34	set	set	ADJ
iajs-64	34	35	(	(	PUNCT
iajs-64	34	36	x-	x-	PROPN
iajs-64	34	37	,	,	PUNCT
iajs-64	34	38	x+	x+	PROPN
iajs-64	34	39	)	)	PUNCT
iajs-64	34	40	containing	contain	VERB
iajs-64	34	41	x	x	PUNCT
iajs-64	34	42	and	and	CCONJ
iajs-64	34	43	(	(	PUNCT
iajs-64	34	44	x-	x-	PROPN
iajs-64	34	45	,	,	PUNCT
iajs-64	34	46	x+	x+	PROPN
iajs-64	34	47	)	)	PUNCT
iajs-64	34	48	\(r\q	\(r\q	PROPN
iajs-64	34	49	)	)	PUNCT
iajs-64	34	50	is	be	AUX
iajs-64	34	51	countable	countable	ADJ
iajs-64	34	52	,	,	PUNCT
iajs-64	34	53	but	but	CCONJ
iajs-64	34	54	not	not	PART
iajs-64	34	55	n	n	CCONJ
iajs-64	34	56	-	-	ADV
iajs-64	34	57	open	open	ADJ
iajs-64	34	58	,	,	PUNCT
iajs-64	34	59	since	since	SCONJ
iajs-64	34	60	every	every	DET
iajs-64	34	61	open	open	NOUN
iajs-64	34	62	set	set	VERB
iajs-64	34	63	a	a	DET
iajs-64	34	64	containing	contain	VERB
iajs-64	34	65	x	x	NOUN
iajs-64	34	66	implies	implie	NOUN
iajs-64	34	67	a\(r\q	a\(r\q	NOUN
iajs-64	34	68	)	)	PUNCT
iajs-64	34	69	is	be	AUX
iajs-64	34	70	infinite	infinite	ADJ
iajs-64	34	71	.	.	PUNCT
iajs-64	35	1	the	the	DET
iajs-64	35	2	family	family	NOUN
iajs-64	35	3	of	of	ADP
iajs-64	35	4	all	all	PRON
iajs-64	35	5	n	n	CCONJ
iajs-64	35	6	-	-	PUNCT
iajs-64	35	7	open	open	ADJ
iajs-64	35	8	sets	set	NOUN
iajs-64	35	9	in	in	ADP
iajs-64	35	10	a	a	DET
iajs-64	35	11	topological	topological	ADJ
iajs-64	35	12	space	space	NOUN
iajs-64	35	13	(	(	PUNCT
iajs-64	35	14	x,	x,	PROPN
iajs-64	35	15	)	)	PUNCT
iajs-64	35	16	will	will	AUX
iajs-64	35	17	be	be	AUX
iajs-64	35	18	denoted	denote	VERB
iajs-64	35	19	by	by	ADP
iajs-64	35	20	no(x	no(x	ADJ
iajs-64	35	21	)	)	PUNCT
iajs-64	35	22	,	,	PUNCT
iajs-64	35	23	and	and	CCONJ
iajs-64	35	24	it	it	PRON
iajs-64	35	25	is	be	AUX
iajs-64	35	26	clear	clear	ADJ
iajs-64	35	27	form	form	NOUN
iajs-64	35	28	a	a	DET
iajs-64	35	29	topology	topology	NOUN
iajs-64	35	30	n	n	NOUN
iajs-64	35	31	on	on	ADP
iajs-64	35	32	x	x	PUNCT
iajs-64	35	33	which	which	PRON
iajs-64	35	34	is	be	AUX
iajs-64	35	35	finer	fine	ADJ
iajs-64	35	36	than	than	PROPN
iajs-64	35	37	.	.	PUNCT
iajs-64	36	1	remark	remark	VERB
iajs-64	36	2	2.4	2.4	NUM
iajs-64	36	3	:	:	PUNCT
iajs-64	36	4	for	for	ADP
iajs-64	36	5	any	any	DET
iajs-64	36	6	finite	finite	ADJ
iajs-64	36	7	topological	topological	ADJ
iajs-64	36	8	space	space	NOUN
iajs-64	36	9	n	n	NOUN
iajs-64	36	10	=	=	SYM
iajs-64	36	11	p(x	p(x	PROPN
iajs-64	36	12	)	)	PUNCT
iajs-64	36	13	(	(	PUNCT
iajs-64	36	14	that	that	PRON
iajs-64	36	15	is	be	AUX
iajs-64	36	16	any	any	DET
iajs-64	36	17	subset	subset	NOUN
iajs-64	36	18	of	of	ADP
iajs-64	36	19	x	x	PROPN
iajs-64	36	20	is	be	AUX
iajs-64	36	21	n	n	ADV
iajs-64	36	22	-	-	ADV
iajs-64	36	23	open	open	ADJ
iajs-64	36	24	)	)	PUNCT
iajs-64	36	25	.	.	PUNCT
iajs-64	37	1	definition	definition	NOUN
iajs-64	37	2	[	[	X
iajs-64	37	3	9	9	NUM
iajs-64	37	4	]	]	SYM
iajs-64	37	5	2.5	2.5	NUM
iajs-64	37	6	:	:	PUNCT
iajs-64	37	7	let	let	VERB
iajs-64	37	8	(	(	PUNCT
iajs-64	37	9	x	x	X
iajs-64	37	10	,	,	PUNCT
iajs-64	37	11	τ	τ	X
iajs-64	37	12	)	)	PUNCT
iajs-64	37	13	be	be	VERB
iajs-64	37	14	a	a	DET
iajs-64	37	15	topological	topological	ADJ
iajs-64	37	16	space	space	NOUN
iajs-64	37	17	.	.	PUNCT
iajs-64	38	1	and	and	CCONJ
iajs-64	38	2	ax	ax	PROPN
iajs-64	38	3	,	,	PUNCT
iajs-64	38	4	then	then	ADV
iajs-64	38	5	the	the	DET
iajs-64	38	6	union	union	NOUN
iajs-64	38	7	of	of	ADP
iajs-64	38	8	all	all	DET
iajs-64	38	9	n	n	ADV
iajs-64	38	10	-	-	PUNCT
iajs-64	38	11	open	open	NOUN
iajs-64	38	12	contained	contain	VERB
iajs-64	38	13	in	in	ADP
iajs-64	38	14	a	a	PRON
iajs-64	38	15	is	be	AUX
iajs-64	38	16	called	call	VERB
iajs-64	38	17	n	n	CCONJ
iajs-64	38	18	-	-	PUNCT
iajs-64	38	19	interior	interior	ADJ
iajs-64	38	20	and	and	CCONJ
iajs-64	38	21	we	we	PRON
iajs-64	38	22	will	will	AUX
iajs-64	38	23	denote	denote	VERB
iajs-64	38	24	it	it	PRON
iajs-64	38	25	by	by	ADP
iajs-64	38	26	nint	nint	NOUN
iajs-64	38	27	(	(	PUNCT
iajs-64	38	28	a	a	NOUN
iajs-64	38	29	)	)	PUNCT
iajs-64	38	30	.	.	PUNCT
iajs-64	39	1	note	note	VERB
iajs-64	39	2	that	that	SCONJ
iajs-64	39	3	the	the	DET
iajs-64	39	4	n	n	CCONJ
iajs-64	39	5	-	-	PUNCT
iajs-64	39	6	interior	interior	ADJ
iajs-64	39	7	is	be	AUX
iajs-64	39	8	the	the	DET
iajs-64	39	9	maximal	maximal	ADJ
iajs-64	39	10	n	n	CCONJ
iajs-64	39	11	-	-	PUNCT
iajs-64	39	12	open	open	ADJ
iajs-64	39	13	which	which	PRON
iajs-64	39	14	contains	contain	VERB
iajs-64	39	15	in	in	ADP
iajs-64	39	16	a.	a.	NOUN
iajs-64	39	17	proposition	proposition	NOUN
iajs-64	39	18	2.6	2.6	NUM
iajs-64	39	19	:	:	PUNCT
iajs-64	39	20	let	let	VERB
iajs-64	39	21	(	(	PUNCT
iajs-64	39	22	x	x	X
iajs-64	39	23	,	,	PUNCT
iajs-64	39	24	τ	τ	X
iajs-64	39	25	)	)	PUNCT
iajs-64	39	26	be	be	VERB
iajs-64	39	27	a	a	DET
iajs-64	39	28	topological	topological	ADJ
iajs-64	39	29	space	space	NOUN
iajs-64	39	30	.	.	PUNCT
iajs-64	40	1	and	and	CCONJ
iajs-64	40	2	a	a	DET
iajs-64	40	3	,	,	PUNCT
iajs-64	40	4	bx	bx	PROPN
iajs-64	40	5	,	,	PUNCT
iajs-64	40	6	then	then	ADV
iajs-64	40	7	269	269	NUM
iajs-64	40	8	|	|	NOUN
iajs-64	40	9	mathematics	mathematic	NOUN
iajs-64	40	10	2016	2016	NUM
iajs-64	40	11	)	)	PUNCT
iajs-64	40	12	عام	عام	ADP
iajs-64	40	13	1العدد	1العدد	NUM
iajs-64	40	14	(	(	PUNCT
iajs-64	41	1	29لمجلد	29لمجلد	NUM
iajs-64	41	2	ا	ا	X
iajs-64	41	3	مجلة	مجلة	NOUN
iajs-64	41	4	إبن	إبن	VERB
iajs-64	41	5	الهيثم	الهيثم	ADJ
iajs-64	41	6	للعلوم	للعلوم	NOUN
iajs-64	41	7	الصرفة	الصرفة	NOUN
iajs-64	42	1	و	و	PRON
iajs-64	42	2	التطبيقية	التطبيقية	ADJ
iajs-64	42	3	ibn	ibn	PROPN
iajs-64	42	4	al	al	PROPN
iajs-64	42	5	-	-	PUNCT
iajs-64	42	6	haitham	haitham	PROPN
iajs-64	42	7	j.	j.	PROPN
iajs-64	42	8	for	for	ADP
iajs-64	42	9	pure	pure	PROPN
iajs-64	42	10	&	&	CCONJ
iajs-64	42	11	appl	appl	PROPN
iajs-64	42	12	.	.	PUNCT
iajs-64	43	1	sci	sci	PROPN
iajs-64	43	2	.	.	PUNCT
iajs-64	44	1	vol.29	vol.29	PROPN
iajs-64	44	2	(	(	PUNCT
iajs-64	44	3	1	1	NUM
iajs-64	44	4	)	)	PUNCT
iajs-64	44	5	2016	2016	NUM
iajs-64	44	6	(	(	PUNCT
iajs-64	44	7	1	1	NUM
iajs-64	44	8	)	)	PUNCT
iajs-64	44	9	int(a)	int(a)	X
iajs-64	44	10	nint	nint	NOUN
iajs-64	44	11	(	(	PUNCT
iajs-64	44	12	a	a	X
iajs-64	44	13	)	)	PUNCT
iajs-64	44	14			PROPN
iajs-64	44	15	int	int	PROPN
iajs-64	44	16	(	(	PUNCT
iajs-64	44	17	a	a	NOUN
iajs-64	44	18	)	)	PUNCT
iajs-64	44	19	a	a	PUNCT
iajs-64	44	20	(	(	PUNCT
iajs-64	44	21	2	2	X
iajs-64	44	22	)	)	PUNCT
iajs-64	44	23	a	a	PRON
iajs-64	44	24	is	be	AUX
iajs-64	44	25	n	n	PRON
iajs-64	44	26	-	-	PUNCT
iajs-64	44	27	open	open	ADJ
iajs-64	44	28	iff	iff	PROPN
iajs-64	44	29	nint	nint	NOUN
iajs-64	44	30	(	(	PUNCT
iajs-64	44	31	a	a	X
iajs-64	44	32	)	)	PUNCT
iajs-64	44	33	=	=	NOUN
iajs-64	44	34	a.	a.	NOUN
iajs-64	44	35	(	(	PUNCT
iajs-64	44	36	3	3	NUM
iajs-64	44	37	)	)	PUNCT
iajs-64	44	38	nint	nint	NOUN
iajs-64	44	39	(	(	PUNCT
iajs-64	44	40	x)=x	x)=x	PROPN
iajs-64	44	41	and	and	CCONJ
iajs-64	44	42	nint	nint	VERB
iajs-64	44	43	(	(	PUNCT
iajs-64	44	44			NOUN
iajs-64	44	45	)	)	PUNCT
iajs-64	45	1	=	=	NOUN
iajs-64	45	2			NOUN
iajs-64	45	3	(	(	PUNCT
iajs-64	45	4	4	4	X
iajs-64	45	5	)	)	PUNCT
iajs-64	45	6	nint	nint	NOUN
iajs-64	45	7	(	(	PUNCT
iajs-64	45	8	nint	nint	NOUN
iajs-64	45	9	(	(	PUNCT
iajs-64	45	10	a))=	a))=	PROPN
iajs-64	45	11	nint	nint	NOUN
iajs-64	45	12	(	(	PUNCT
iajs-64	45	13	a	a	NOUN
iajs-64	45	14	)	)	PUNCT
iajs-64	45	15	.	.	PUNCT
iajs-64	46	1	(	(	PUNCT
iajs-64	46	2	5	5	X
iajs-64	46	3	)	)	PUNCT
iajs-64	46	4	if	if	SCONJ
iajs-64	46	5	ab	ab	PROPN
iajs-64	46	6	,	,	PUNCT
iajs-64	46	7	then	then	ADV
iajs-64	46	8	nint	nint	VERB
iajs-64	46	9	(	(	PUNCT
iajs-64	46	10	a)	a)	ADJ
iajs-64	46	11	nint	nint	NOUN
iajs-64	46	12	(	(	PUNCT
iajs-64	46	13	b	b	NOUN
iajs-64	46	14	)	)	PUNCT
iajs-64	46	15	.	.	PUNCT
iajs-64	47	1	(	(	PUNCT
iajs-64	47	2	6	6	X
iajs-64	47	3	)	)	PUNCT
iajs-64	47	4	nint	nint	NOUN
iajs-64	47	5	(	(	PUNCT
iajs-64	47	6	a	a	NOUN
iajs-64	47	7	)	)	PUNCT
iajs-64	47	8			ADJ
iajs-64	47	9	nint	nint	NOUN
iajs-64	47	10	(	(	PUNCT
iajs-64	47	11	b	b	NOUN
iajs-64	47	12	)	)	PUNCT
iajs-64	47	13			PROPN
iajs-64	47	14	nint	nint	NOUN
iajs-64	47	15	(	(	PUNCT
iajs-64	47	16	a	a	PROPN
iajs-64	47	17	b	b	NOUN
iajs-64	47	18	)	)	PUNCT
iajs-64	47	19	.	.	PUNCT
iajs-64	48	1	(	(	PUNCT
iajs-64	48	2	7	7	X
iajs-64	48	3	)	)	PUNCT
iajs-64	48	4	nint	nint	NOUN
iajs-64	48	5	(	(	PUNCT
iajs-64	48	6	a	a	PROPN
iajs-64	48	7	b)=	b)=	NOUN
iajs-64	48	8	nint	nint	NOUN
iajs-64	48	9	(	(	PUNCT
iajs-64	48	10	a	a	NOUN
iajs-64	48	11	)	)	PUNCT
iajs-64	48	12			PROPN
iajs-64	48	13	nint	nint	NOUN
iajs-64	48	14	(	(	PUNCT
iajs-64	48	15	b	b	NOUN
iajs-64	48	16	)	)	PUNCT
iajs-64	48	17	.	.	PUNCT
iajs-64	49	1	proof	proof	NOUN
iajs-64	49	2	as	as	ADP
iajs-64	49	3	in	in	ADP
iajs-64	49	4	the	the	DET
iajs-64	49	5	usual	usual	ADJ
iajs-64	49	6	case	case	NOUN
iajs-64	49	7	by	by	ADP
iajs-64	49	8	the	the	DET
iajs-64	49	9	following	following	ADJ
iajs-64	49	10	example	example	NOUN
iajs-64	49	11	we	we	PRON
iajs-64	49	12	note	note	VERB
iajs-64	49	13	that	that	SCONJ
iajs-64	49	14	in	in	ADP
iajs-64	49	15	general	general	ADJ
iajs-64	49	16	a	a	NOUN
iajs-64	49	17	nint	nint	NOUN
iajs-64	49	18	(	(	PUNCT
iajs-64	49	19	a	a	NOUN
iajs-64	49	20	)	)	PUNCT
iajs-64	49	21	and	and	CCONJ
iajs-64	49	22	nint	nint	NOUN
iajs-64	49	23	(	(	PUNCT
iajs-64	49	24	a	a	PROPN
iajs-64	49	25	b	b	X
iajs-64	49	26	)	)	PUNCT
iajs-64	49	27			PROPN
iajs-64	49	28	nint	nint	NOUN
iajs-64	49	29	(	(	PUNCT
iajs-64	49	30	a	a	NOUN
iajs-64	49	31	)	)	PUNCT
iajs-64	49	32			ADJ
iajs-64	49	33	nint	nint	NOUN
iajs-64	49	34	(	(	PUNCT
iajs-64	49	35	b	b	NOUN
iajs-64	49	36	)	)	PUNCT
iajs-64	49	37	example	example	NOUN
iajs-64	49	38	2.7	2.7	NUM
iajs-64	49	39	:	:	PUNCT
iajs-64	49	40	let	let	AUX
iajs-64	49	41	(	(	PUNCT
iajs-64	49	42	r	r	NOUN
iajs-64	49	43	,	,	PUNCT
iajs-64	49	44	u	u	PROPN
iajs-64	49	45	)	)	PUNCT
iajs-64	49	46	be	be	AUX
iajs-64	49	47	the	the	DET
iajs-64	49	48	usual	usual	ADJ
iajs-64	49	49	topological	topological	ADJ
iajs-64	49	50	space	space	NOUN
iajs-64	49	51	and	and	CCONJ
iajs-64	49	52	let	let	VERB
iajs-64	49	53	a=(2,3	a=(2,3	VERB
iajs-64	49	54	]	]	X
iajs-64	49	55	and	and	CCONJ
iajs-64	49	56	b=(3,4	b=(3,4	NOUN
iajs-64	49	57	]	]	PUNCT
iajs-64	49	58	,	,	PUNCT
iajs-64	49	59	then	then	ADV
iajs-64	49	60	nint	nint	VERB
iajs-64	49	61	(	(	PUNCT
iajs-64	49	62	a)=(2,3	a)=(2,3	PROPN
iajs-64	49	63	)	)	PUNCT
iajs-64	49	64	,	,	PUNCT
iajs-64	49	65	nint	nint	NOUN
iajs-64	49	66	(	(	PUNCT
iajs-64	49	67	b)=(3,4	b)=(3,4	PROPN
iajs-64	49	68	)	)	PUNCT
iajs-64	49	69	,	,	PUNCT
iajs-64	49	70	hence	hence	ADV
iajs-64	49	71	a	a	CCONJ
iajs-64	49	72	nint	nint	NOUN
iajs-64	49	73	(	(	PUNCT
iajs-64	49	74	a	a	NOUN
iajs-64	49	75	)	)	PUNCT
iajs-64	49	76	and	and	CCONJ
iajs-64	49	77	nint	nint	NOUN
iajs-64	49	78	(	(	PUNCT
iajs-64	49	79	a	a	NOUN
iajs-64	49	80	b)=(2,4	b)=(2,4	ADJ
iajs-64	49	81	)	)	PUNCT
iajs-64	49	82	,	,	PUNCT
iajs-64	49	83	and	and	CCONJ
iajs-64	49	84	nint	nint	NOUN
iajs-64	49	85	(	(	PUNCT
iajs-64	49	86	a	a	NOUN
iajs-64	49	87	)	)	PUNCT
iajs-64	49	88			ADJ
iajs-64	49	89	nint	nint	NOUN
iajs-64	49	90	(	(	PUNCT
iajs-64	49	91	b)=(2,4)\{3	b)=(2,4)\{3	NUM
iajs-64	49	92	}	}	PUNCT
iajs-64	49	93	,	,	PUNCT
iajs-64	49	94	therefore	therefore	ADV
iajs-64	49	95	nint	nint	VERB
iajs-64	49	96	(	(	PUNCT
iajs-64	49	97	a	a	PROPN
iajs-64	49	98	b	b	X
iajs-64	49	99	)	)	PUNCT
iajs-64	49	100			PROPN
iajs-64	49	101	nint	nint	NOUN
iajs-64	49	102	(	(	PUNCT
iajs-64	49	103	a	a	NOUN
iajs-64	49	104	)	)	PUNCT
iajs-64	49	105			ADJ
iajs-64	49	106	nint	nint	NOUN
iajs-64	49	107	(	(	PUNCT
iajs-64	49	108	b	b	NOUN
iajs-64	49	109	)	)	PUNCT
iajs-64	49	110	.	.	PUNCT
iajs-64	50	1	definition[9	definition[9	ADJ
iajs-64	50	2	]	]	X
iajs-64	50	3	2.8	2.8	NUM
iajs-64	50	4	:	:	PUNCT
iajs-64	50	5	let	let	VERB
iajs-64	50	6	(	(	PUNCT
iajs-64	50	7	x	x	X
iajs-64	50	8	,	,	PUNCT
iajs-64	50	9	τ	τ	X
iajs-64	50	10	)	)	PUNCT
iajs-64	50	11	be	be	VERB
iajs-64	50	12	a	a	DET
iajs-64	50	13	topological	topological	ADJ
iajs-64	50	14	space	space	NOUN
iajs-64	50	15	.	.	PUNCT
iajs-64	51	1	and	and	CCONJ
iajs-64	51	2	ax	ax	PROPN
iajs-64	51	3	,	,	PUNCT
iajs-64	51	4	then	then	ADV
iajs-64	51	5	the	the	DET
iajs-64	51	6	intersection	intersection	NOUN
iajs-64	51	7	of	of	ADP
iajs-64	51	8	all	all	DET
iajs-64	51	9	nclosed	nclosed	ADJ
iajs-64	51	10	sets	set	NOUN
iajs-64	51	11	containing	contain	VERB
iajs-64	51	12	a	a	PRON
iajs-64	51	13	is	be	AUX
iajs-64	51	14	called	call	VERB
iajs-64	51	15	n	n	CCONJ
iajs-64	51	16	-	-	PUNCT
iajs-64	51	17	closure	closure	NOUN
iajs-64	51	18	of	of	ADP
iajs-64	51	19	a	a	PRON
iajs-64	52	1	and	and	CCONJ
iajs-64	52	2	we	we	PRON
iajs-64	52	3	will	will	AUX
iajs-64	52	4	denote	denote	VERB
iajs-64	52	5	it	it	PRON
iajs-64	52	6	by	by	ADP
iajs-64	52	7	ncl	ncl	NOUN
iajs-64	52	8	(	(	PUNCT
iajs-64	52	9	a	a	NOUN
iajs-64	52	10	)	)	PUNCT
iajs-64	52	11	.	.	PUNCT
iajs-64	53	1	note	note	VERB
iajs-64	53	2	that	that	SCONJ
iajs-64	53	3	the	the	DET
iajs-64	53	4	n	n	NOUN
iajs-64	53	5	-	-	PUNCT
iajs-64	53	6	closure	closure	NOUN
iajs-64	53	7	is	be	AUX
iajs-64	53	8	the	the	DET
iajs-64	53	9	smallest	small	ADJ
iajs-64	53	10	n	n	CCONJ
iajs-64	53	11	-	-	PUNCT
iajs-64	53	12	closed	closed	ADJ
iajs-64	53	13	containing	contain	VERB
iajs-64	53	14	a.	a.	NOUN
iajs-64	53	15	proposition	proposition	NOUN
iajs-64	53	16	2.9	2.9	NUM
iajs-64	53	17	:	:	PUNCT
iajs-64	53	18	let	let	VERB
iajs-64	53	19	(	(	PUNCT
iajs-64	53	20	x	x	X
iajs-64	53	21	,	,	PUNCT
iajs-64	53	22	τ	τ	X
iajs-64	53	23	)	)	PUNCT
iajs-64	53	24	be	be	VERB
iajs-64	53	25	a	a	DET
iajs-64	53	26	topological	topological	ADJ
iajs-64	53	27	space	space	NOUN
iajs-64	53	28	.	.	PUNCT
iajs-64	54	1	and	and	CCONJ
iajs-64	54	2	a	a	DET
iajs-64	54	3	,	,	PUNCT
iajs-64	54	4	bx	bx	PROPN
iajs-64	54	5	,	,	PUNCT
iajs-64	54	6	then	then	ADV
iajs-64	54	7	(	(	PUNCT
iajs-64	54	8	1	1	X
iajs-64	54	9	)	)	PUNCT
iajs-64	54	10	a	a	DET
iajs-64	54	11			PROPN
iajs-64	54	12	cl	cl	X
iajs-64	54	13	(	(	PUNCT
iajs-64	54	14	a	a	X
iajs-64	54	15	)	)	PUNCT
iajs-64	54	16			PROPN
iajs-64	54	17	ncl	ncl	NOUN
iajs-64	54	18	(	(	PUNCT
iajs-64	54	19	a	a	NOUN
iajs-64	54	20	)	)	PUNCT
iajs-64	54	21			ADJ
iajs-64	54	22	cl	cl	NOUN
iajs-64	54	23	(	(	PUNCT
iajs-64	54	24	a	a	NOUN
iajs-64	54	25	)	)	PUNCT
iajs-64	54	26	.	.	PUNCT
iajs-64	55	1	(	(	PUNCT
iajs-64	55	2	2	2	X
iajs-64	55	3	)	)	PUNCT
iajs-64	55	4	a	a	PRON
iajs-64	55	5	is	be	AUX
iajs-64	55	6	n	n	PRON
iajs-64	55	7	-	-	PUNCT
iajs-64	55	8	closed	closed	ADJ
iajs-64	55	9	iff	iff	PROPN
iajs-64	55	10	ncl	ncl	NOUN
iajs-64	55	11	(	(	PUNCT
iajs-64	55	12	a)=a	a)=a	PROPN
iajs-64	55	13	.	.	PUNCT
iajs-64	55	14	(	(	PUNCT
iajs-64	55	15	3	3	X
iajs-64	55	16	)	)	PUNCT
iajs-64	55	17	ncl	ncl	NOUN
iajs-64	55	18	(	(	PUNCT
iajs-64	55	19	x)=x	x)=x	PROPN
iajs-64	55	20	and	and	CCONJ
iajs-64	55	21	ncl	ncl	NOUN
iajs-64	55	22	(	(	PUNCT
iajs-64	55	23			NOUN
iajs-64	55	24	)	)	PUNCT
iajs-64	55	25	=	=	NOUN
iajs-64	55	26			NOUN
iajs-64	55	27	.	.	PUNCT
iajs-64	56	1	(	(	PUNCT
iajs-64	56	2	4	4	X
iajs-64	56	3	)	)	PUNCT
iajs-64	56	4	ncl	ncl	NOUN
iajs-64	56	5	(	(	PUNCT
iajs-64	56	6	ncl	ncl	NOUN
iajs-64	56	7	(	(	PUNCT
iajs-64	56	8	a	a	NOUN
iajs-64	56	9	)	)	PUNCT
iajs-64	56	10	)	)	PUNCT
iajs-64	57	1	=	=	NOUN
iajs-64	57	2	ncl	ncl	NOUN
iajs-64	57	3	(	(	PUNCT
iajs-64	57	4	a	a	NOUN
iajs-64	57	5	)	)	PUNCT
iajs-64	57	6	.	.	PUNCT
iajs-64	58	1	(	(	PUNCT
iajs-64	58	2	5	5	X
iajs-64	58	3	)	)	PUNCT
iajs-64	58	4	if	if	SCONJ
iajs-64	58	5	ab	ab	PROPN
iajs-64	58	6	,	,	PUNCT
iajs-64	58	7	then	then	ADV
iajs-64	58	8	ncl	ncl	VERB
iajs-64	58	9	(	(	PUNCT
iajs-64	58	10	a)	a)	ADJ
iajs-64	58	11	ncl	ncl	NOUN
iajs-64	58	12	(	(	PUNCT
iajs-64	58	13	b	b	NOUN
iajs-64	58	14	)	)	PUNCT
iajs-64	58	15	.	.	PUNCT
iajs-64	59	1	(	(	PUNCT
iajs-64	59	2	6	6	NUM
iajs-64	59	3	)	)	PUNCT
iajs-64	59	4	ncl	ncl	NOUN
iajs-64	59	5	(	(	PUNCT
iajs-64	59	6	a	a	PROPN
iajs-64	59	7	b	b	X
iajs-64	59	8	)	)	PUNCT
iajs-64	59	9	=	=	NOUN
iajs-64	59	10	ncl	ncl	NOUN
iajs-64	59	11	(	(	PUNCT
iajs-64	59	12	a)	a)	PROPN
iajs-64	59	13	ncl	ncl	NOUN
iajs-64	59	14	(	(	PUNCT
iajs-64	59	15	b	b	NOUN
iajs-64	59	16	)	)	PUNCT
iajs-64	59	17	.	.	PUNCT
iajs-64	60	1	(	(	PUNCT
iajs-64	60	2	7	7	X
iajs-64	60	3	)	)	PUNCT
iajs-64	60	4	ncl	ncl	NOUN
iajs-64	60	5	(	(	PUNCT
iajs-64	60	6	a	a	PROPN
iajs-64	60	7	b	b	X
iajs-64	60	8	)	)	PUNCT
iajs-64	60	9			PROPN
iajs-64	60	10	ncl	ncl	NOUN
iajs-64	60	11	(	(	PUNCT
iajs-64	60	12	a	a	NOUN
iajs-64	60	13	)	)	PUNCT
iajs-64	60	14			PROPN
iajs-64	60	15	ncl	ncl	NOUN
iajs-64	60	16	(	(	PUNCT
iajs-64	60	17	b	b	NOUN
iajs-64	60	18	)	)	PUNCT
iajs-64	60	19	.	.	PUNCT
iajs-64	61	1	(	(	PUNCT
iajs-64	61	2	8)	8)	NUM
iajs-64	61	3	nint	nint	NOUN
iajs-64	61	4	(	(	PUNCT
iajs-64	61	5	x\a	x\a	PROPN
iajs-64	61	6	)	)	PUNCT
iajs-64	61	7	=	=	PUNCT
iajs-64	62	1	x\	x\	PROPN
iajs-64	62	2	ncl	ncl	NOUN
iajs-64	62	3	(	(	PUNCT
iajs-64	62	4	a	a	NOUN
iajs-64	62	5	)	)	PUNCT
iajs-64	62	6	.	.	PUNCT
iajs-64	63	1	(	(	PUNCT
iajs-64	63	2	9	9	X
iajs-64	63	3	)	)	PUNCT
iajs-64	63	4	ncl	ncl	NOUN
iajs-64	63	5	(	(	PUNCT
iajs-64	63	6	x\a	x\a	PROPN
iajs-64	63	7	)	)	PUNCT
iajs-64	64	1	=	=	SYM
iajs-64	64	2	x\	x\	NOUN
iajs-64	64	3	nint	nint	NOUN
iajs-64	64	4	(	(	PUNCT
iajs-64	64	5	a	a	NOUN
iajs-64	64	6	)	)	PUNCT
iajs-64	64	7	.	.	PUNCT
iajs-64	65	1	proof	proof	NOUN
iajs-64	65	2	as	as	ADP
iajs-64	65	3	in	in	ADP
iajs-64	65	4	the	the	DET
iajs-64	65	5	usual	usual	ADJ
iajs-64	65	6	case	case	NOUN
iajs-64	65	7	proposition	proposition	NOUN
iajs-64	65	8	[	[	X
iajs-64	65	9	9	9	NUM
iajs-64	65	10	]	]	SYM
iajs-64	65	11	2.10	2.10	NUM
iajs-64	65	12	:	:	PUNCT
iajs-64	65	13	let	let	VERB
iajs-64	65	14	(	(	PUNCT
iajs-64	65	15	x	x	X
iajs-64	65	16	,	,	PUNCT
iajs-64	65	17	τ	τ	X
iajs-64	65	18	)	)	PUNCT
iajs-64	65	19	be	be	VERB
iajs-64	65	20	a	a	DET
iajs-64	65	21	topological	topological	ADJ
iajs-64	65	22	space	space	NOUN
iajs-64	65	23	.	.	PUNCT
iajs-64	66	1	and	and	CCONJ
iajs-64	66	2	ax	ax	PROPN
iajs-64	66	3	,	,	PUNCT
iajs-64	66	4	then	then	ADV
iajs-64	66	5	x	x	X
iajs-64	66	6	)	)	PUNCT
iajs-64	66	7	(	(	PUNCT
iajs-64	66	8	acln	acln	NOUN
iajs-64	66	9	iff	iff	VERB
iajs-64	66	10	for	for	ADP
iajs-64	66	11	every	every	DET
iajs-64	66	12	n	n	ADV
iajs-64	66	13	-	-	PUNCT
iajs-64	66	14	open	open	ADJ
iajs-64	66	15	set	set	NOUN
iajs-64	66	16	u	u	NOUN
iajs-64	66	17	containing	contain	VERB
iajs-64	66	18	x	x	PRON
iajs-64	66	19	,	,	PUNCT
iajs-64	66	20	then	then	ADV
iajs-64	66	21	ua	ua	PROPN
iajs-64	66	22	.	.	PUNCT
iajs-64	67	1	the	the	DET
iajs-64	67	2	following	follow	VERB
iajs-64	67	3	are	be	AUX
iajs-64	67	4	new	new	ADJ
iajs-64	67	5	modified	modify	VERB
iajs-64	67	6	definition	definition	NOUN
iajs-64	67	7	.	.	PUNCT
iajs-64	68	1	270	270	NUM
iajs-64	68	2	|	|	ADV
iajs-64	68	3	mathematics	mathematic	NOUN
iajs-64	68	4	2016	2016	NUM
iajs-64	68	5	)	)	PUNCT
iajs-64	68	6	عام	عام	ADP
iajs-64	68	7	1العدد	1العدد	NUM
iajs-64	68	8	(	(	PUNCT
iajs-64	68	9	29لمجلد	29لمجلد	NUM
iajs-64	68	10	ا	ا	X
iajs-64	68	11	مجلة	مجلة	NOUN
iajs-64	68	12	إبن	إبن	VERB
iajs-64	68	13	الهيثم	الهيثم	ADJ
iajs-64	68	14	للعلوم	للعلوم	NOUN
iajs-64	68	15	الصرفة	الصرفة	NOUN
iajs-64	69	1	و	و	PRON
iajs-64	69	2	التطبيقية	التطبيقية	ADJ
iajs-64	69	3	ibn	ibn	PROPN
iajs-64	69	4	al	al	PROPN
iajs-64	69	5	-	-	PUNCT
iajs-64	69	6	haitham	haitham	PROPN
iajs-64	69	7	j.	j.	PROPN
iajs-64	69	8	for	for	ADP
iajs-64	69	9	pure	pure	PROPN
iajs-64	69	10	&	&	CCONJ
iajs-64	69	11	appl	appl	PROPN
iajs-64	69	12	.	.	PUNCT
iajs-64	70	1	sci	sci	PROPN
iajs-64	70	2	.	.	PUNCT
iajs-64	71	1	vol.29	vol.29	PROPN
iajs-64	71	2	(	(	PUNCT
iajs-64	71	3	1	1	NUM
iajs-64	71	4	)	)	SYM
iajs-64	71	5	2016	2016	NUM
iajs-64	71	6	definition	definition	NOUN
iajs-64	71	7	2.11	2.11	NUM
iajs-64	71	8	:	:	PUNCT
iajs-64	71	9	let	let	VERB
iajs-64	71	10	(	(	PUNCT
iajs-64	71	11	x	x	X
iajs-64	71	12	,	,	PUNCT
iajs-64	71	13	τ	τ	X
iajs-64	71	14	)	)	PUNCT
iajs-64	71	15	be	be	VERB
iajs-64	71	16	a	a	DET
iajs-64	71	17	topological	topological	ADJ
iajs-64	71	18	space	space	NOUN
iajs-64	71	19	.	.	PUNCT
iajs-64	72	1	a	a	DET
iajs-64	72	2	subset	subset	NOUN
iajs-64	72	3	a	a	PRON
iajs-64	72	4	of	of	ADP
iajs-64	72	5	x	x	PRON
iajs-64	72	6	is	be	AUX
iajs-64	72	7	called	call	VERB
iajs-64	72	8	(	(	PUNCT
iajs-64	72	9	1	1	NUM
iajs-64	72	10	)	)	PUNCT
iajs-64	72	11			NOUN
iajs-64	72	12	n	n	CCONJ
iajs-64	72	13	-	-	PUNCT
iajs-64	72	14	open	open	ADJ
iajs-64	72	15	if	if	SCONJ
iajs-64	72	16	a	a	NOUN
iajs-64	72	17	nint	nint	NOUN
iajs-64	72	18	(	(	PUNCT
iajs-64	72	19	cl	cl	INTJ
iajs-64	72	20	(	(	PUNCT
iajs-64	72	21	nint	nint	NOUN
iajs-64	72	22	(	(	PUNCT
iajs-64	72	23	a	a	NOUN
iajs-64	72	24	)	)	PUNCT
iajs-64	72	25	)	)	PUNCT
iajs-64	72	26	)	)	PUNCT
iajs-64	72	27	.	.	PUNCT
iajs-64	73	1	(	(	PUNCT
iajs-64	73	2	2	2	X
iajs-64	73	3	)	)	PUNCT
iajs-64	73	4	pre	pre	ADJ
iajs-64	73	5	-	-	ADJ
iajs-64	73	6	n	n	CCONJ
iajs-64	73	7	-	-	PUNCT
iajs-64	73	8	open	open	ADJ
iajs-64	73	9	if	if	SCONJ
iajs-64	73	10	a	a	NOUN
iajs-64	73	11	nint	nint	NOUN
iajs-64	73	12	(	(	PUNCT
iajs-64	73	13	cl	cl	INTJ
iajs-64	73	14	(	(	PUNCT
iajs-64	73	15	(	(	PUNCT
iajs-64	73	16	a	a	NOUN
iajs-64	73	17	)	)	PUNCT
iajs-64	73	18	)	)	PUNCT
iajs-64	73	19	.	.	PUNCT
iajs-64	74	1	(	(	PUNCT
iajs-64	74	2	3	3	X
iajs-64	74	3	)	)	PUNCT
iajs-64	74	4	bn	bn	NOUN
iajs-64	74	5	-	-	PUNCT
iajs-64	74	6	open	open	ADJ
iajs-64	74	7	if	if	SCONJ
iajs-64	74	8	a	a	NOUN
iajs-64	74	9	nint	nint	NOUN
iajs-64	74	10	(	(	PUNCT
iajs-64	74	11	cl	cl	INTJ
iajs-64	74	12	(	(	PUNCT
iajs-64	74	13	a))	a))	NOUN
iajs-64	74	14	cl	cl	NOUN
iajs-64	74	15	(	(	PUNCT
iajs-64	74	16	nint	nint	NOUN
iajs-64	74	17	(	(	PUNCT
iajs-64	74	18	a	a	NOUN
iajs-64	74	19	)	)	PUNCT
iajs-64	74	20	)	)	PUNCT
iajs-64	74	21	.	.	PUNCT
iajs-64	75	1	(	(	PUNCT
iajs-64	75	2	4	4	X
iajs-64	75	3	)	)	PUNCT
iajs-64	75	4			PROPN
iajs-64	75	5	n	n	CCONJ
iajs-64	75	6	-	-	PUNCT
iajs-64	75	7	open	open	ADJ
iajs-64	75	8	if	if	SCONJ
iajs-64	75	9	a	a	DET
iajs-64	75	10			PROPN
iajs-64	75	11	cl	cl	NOUN
iajs-64	75	12	(	(	PUNCT
iajs-64	75	13	nint	nint	NOUN
iajs-64	75	14	(	(	PUNCT
iajs-64	75	15	cl	cl	INTJ
iajs-64	75	16	(	(	PUNCT
iajs-64	75	17	a	a	NOUN
iajs-64	75	18	)	)	PUNCT
iajs-64	75	19	)	)	PUNCT
iajs-64	75	20	)	)	PUNCT
iajs-64	75	21	.	.	PUNCT
iajs-64	76	1	the	the	DET
iajs-64	76	2	complement	complement	NOUN
iajs-64	76	3	of	of	ADP
iajs-64	76	4			NOUN
iajs-64	76	5	n	n	CCONJ
iajs-64	76	6	-	-	PUNCT
iajs-64	76	7	open	open	ADJ
iajs-64	76	8	(	(	PUNCT
iajs-64	76	9	resp	resp	NOUN
iajs-64	76	10	.	.	PUNCT
iajs-64	77	1	pre	pre	ADJ
iajs-64	77	2	-	-	ADJ
iajs-64	77	3	n	n	CCONJ
iajs-64	77	4	-	-	PUNCT
iajs-64	77	5	open	open	ADJ
iajs-64	77	6	,	,	PUNCT
iajs-64	77	7	bn	bn	NOUN
iajs-64	77	8	-	-	PUNCT
iajs-64	77	9	open	open	ADJ
iajs-64	77	10	,	,	PUNCT
iajs-64	77	11			PROPN
iajs-64	77	12	n	n	CCONJ
iajs-64	77	13	-	-	PUNCT
iajs-64	77	14	open	open	ADJ
iajs-64	77	15	)	)	PUNCT
iajs-64	77	16	set	set	NOUN
iajs-64	77	17	is	be	AUX
iajs-64	77	18	called	call	VERB
iajs-64	77	19			NOUN
iajs-64	77	20	n	n	CCONJ
iajs-64	77	21	-	-	PUNCT
iajs-64	77	22	closed	closed	ADJ
iajs-64	77	23	(	(	PUNCT
iajs-64	77	24	resp	resp	NOUN
iajs-64	77	25	.	.	PUNCT
iajs-64	78	1	pre	pre	VERB
iajs-64	78	2	-	-	ADJ
iajs-64	78	3	nclosed	nclosed	ADJ
iajs-64	78	4	,	,	PUNCT
iajs-64	78	5	bnclosed	bnclose	VERB
iajs-64	78	6	,	,	PUNCT
iajs-64	78	7			PROPN
iajs-64	78	8	nclosed	nclosed	ADJ
iajs-64	78	9	)	)	PUNCT
iajs-64	78	10	proposition	proposition	NOUN
iajs-64	78	11	2.12	2.12	NUM
iajs-64	78	12	:	:	PUNCT
iajs-64	78	13	in	in	ADP
iajs-64	78	14	any	any	DET
iajs-64	78	15	topological	topological	ADJ
iajs-64	78	16	space	space	NOUN
iajs-64	78	17	the	the	DET
iajs-64	78	18	following	follow	VERB
iajs-64	78	19	are	be	AUX
iajs-64	78	20	satisfied	satisfied	ADJ
iajs-64	78	21	(	(	PUNCT
iajs-64	78	22	1	1	X
iajs-64	78	23	)	)	PUNCT
iajs-64	78	24	every	every	DET
iajs-64	78	25	n	n	ADV
iajs-64	78	26	-	-	PUNCT
iajs-64	78	27	open	open	ADJ
iajs-64	78	28	is	be	AUX
iajs-64	78	29			X
iajs-64	78	30	n	n	CCONJ
iajs-64	78	31	-	-	ADV
iajs-64	78	32	open	open	ADJ
iajs-64	78	33	.	.	PUNCT
iajs-64	79	1	(	(	PUNCT
iajs-64	79	2	2	2	X
iajs-64	79	3	)	)	PUNCT
iajs-64	79	4	every	every	DET
iajs-64	79	5			NOUN
iajs-64	79	6	-n	-n	X
iajs-64	79	7	-	-	ADJ
iajs-64	79	8	open	open	ADJ
iajs-64	79	9	is	be	AUX
iajs-64	79	10	pre	pre	ADJ
iajs-64	79	11	-	-	ADJ
iajs-64	79	12	n	n	CCONJ
iajs-64	79	13	-	-	PUNCT
iajs-64	79	14	open	open	ADJ
iajs-64	79	15	.	.	PUNCT
iajs-64	80	1	(	(	PUNCT
iajs-64	80	2	3	3	X
iajs-64	80	3	)	)	PUNCT
iajs-64	80	4	every	every	DET
iajs-64	80	5	pre	pre	ADJ
iajs-64	80	6	-	-	ADJ
iajs-64	80	7	n	n	CCONJ
iajs-64	80	8	-	-	PUNCT
iajs-64	80	9	open	open	ADJ
iajs-64	80	10	is	be	AUX
iajs-64	80	11	b	b	NUM
iajs-64	80	12	-	-	PUNCT
iajs-64	80	13	n	n	CCONJ
iajs-64	80	14	-	-	PUNCT
iajs-64	80	15	open	open	ADJ
iajs-64	80	16	.	.	PUNCT
iajs-64	81	1	(	(	PUNCT
iajs-64	81	2	4	4	X
iajs-64	81	3	)	)	PUNCT
iajs-64	81	4	every	every	DET
iajs-64	81	5	b	b	NOUN
iajs-64	81	6	-	-	PUNCT
iajs-64	81	7	n	n	CCONJ
iajs-64	81	8	-	-	PUNCT
iajs-64	81	9	open	open	ADJ
iajs-64	81	10	is	be	AUX
iajs-64	81	11			NOUN
iajs-64	81	12	-n	-n	NOUN
iajs-64	81	13	-	-	NOUN
iajs-64	81	14	open	open	ADJ
iajs-64	81	15	.	.	PUNCT
iajs-64	82	1	proof	proof	NOUN
iajs-64	82	2	(	(	PUNCT
iajs-64	82	3	1	1	X
iajs-64	82	4	)	)	PUNCT
iajs-64	82	5	suppose	suppose	VERB
iajs-64	82	6	that	that	SCONJ
iajs-64	82	7	a	a	PRON
iajs-64	82	8	is	be	AUX
iajs-64	82	9	n	n	ADV
iajs-64	82	10	-	-	PUNCT
iajs-64	82	11	open	open	ADJ
iajs-64	82	12	,	,	PUNCT
iajs-64	82	13	then	then	ADV
iajs-64	82	14	by	by	ADP
iajs-64	82	15	proposition	proposition	NOUN
iajs-64	82	16	(	(	PUNCT
iajs-64	82	17	2.9(2	2.9(2	NUM
iajs-64	82	18	)	)	PUNCT
iajs-64	82	19	)	)	PUNCT
iajs-64	82	20	a=	a=	VERB
iajs-64	82	21	nint	nint	NOUN
iajs-64	82	22	(	(	PUNCT
iajs-64	82	23	a)	a)	ADJ
iajs-64	82	24	cl	cl	NOUN
iajs-64	82	25	(	(	PUNCT
iajs-64	82	26	nint	nint	NOUN
iajs-64	82	27	(	(	PUNCT
iajs-64	82	28	a	a	NOUN
iajs-64	82	29	)	)	PUNCT
iajs-64	82	30	)	)	PUNCT
iajs-64	82	31	and	and	CCONJ
iajs-64	82	32	by	by	ADP
iajs-64	82	33	proposition(2.6(4,5	proposition(2.6(4,5	NOUN
iajs-64	82	34	)	)	PUNCT
iajs-64	82	35	)	)	PUNCT
iajs-64	82	36	a	a	NOUN
iajs-64	82	37	nint	nint	NOUN
iajs-64	82	38	(	(	PUNCT
iajs-64	82	39	cl	cl	INTJ
iajs-64	82	40	(	(	PUNCT
iajs-64	82	41	nint	nint	NOUN
iajs-64	82	42	(	(	PUNCT
iajs-64	82	43	a	a	NOUN
iajs-64	82	44	)	)	PUNCT
iajs-64	82	45	)	)	PUNCT
iajs-64	82	46	)	)	PUNCT
iajs-64	82	47	,	,	PUNCT
iajs-64	82	48	hence	hence	ADV
iajs-64	82	49	a	a	PRON
iajs-64	82	50	is	be	AUX
iajs-64	82	51			NOUN
iajs-64	82	52	n	n	CCONJ
iajs-64	82	53	-	-	ADV
iajs-64	82	54	open	open	ADJ
iajs-64	82	55	.	.	PUNCT
iajs-64	83	1	(	(	PUNCT
iajs-64	83	2	2	2	X
iajs-64	83	3	)	)	PUNCT
iajs-64	83	4	suppose	suppose	VERB
iajs-64	83	5	that	that	SCONJ
iajs-64	83	6	a	a	PRON
iajs-64	83	7	is	be	AUX
iajs-64	83	8			NOUN
iajs-64	83	9	-n	-n	X
iajs-64	83	10	-	-	NOUN
iajs-64	83	11	open	open	ADJ
iajs-64	83	12	,	,	PUNCT
iajs-64	83	13	then	then	ADV
iajs-64	83	14	a	a	NOUN
iajs-64	83	15	nint	nint	NOUN
iajs-64	83	16	(	(	PUNCT
iajs-64	83	17	cl	cl	INTJ
iajs-64	83	18	(	(	PUNCT
iajs-64	83	19	nint	nint	NOUN
iajs-64	83	20	(	(	PUNCT
iajs-64	83	21	a	a	NOUN
iajs-64	83	22	)	)	PUNCT
iajs-64	83	23	)	)	PUNCT
iajs-64	83	24	)	)	PUNCT
iajs-64	84	1			PROPN
iajs-64	84	2	nint	nint	NOUN
iajs-64	84	3	(	(	PUNCT
iajs-64	84	4	cl	cl	INTJ
iajs-64	84	5	(	(	PUNCT
iajs-64	84	6	a	a	NOUN
iajs-64	84	7	)	)	PUNCT
iajs-64	84	8	)	)	PUNCT
iajs-64	84	9	(	(	PUNCT
iajs-64	84	10	by	by	ADP
iajs-64	84	11	proposition(2.6(1	proposition(2.6(1	PROPN
iajs-64	84	12	)	)	PUNCT
iajs-64	84	13	)	)	PUNCT
iajs-64	84	14	)	)	PUNCT
iajs-64	84	15	,	,	PUNCT
iajs-64	84	16	hence	hence	ADV
iajs-64	84	17	a	a	PRON
iajs-64	84	18	is	be	AUX
iajs-64	84	19	pre	pre	ADJ
iajs-64	84	20	-	-	ADJ
iajs-64	84	21	n	n	CCONJ
iajs-64	84	22	-	-	PUNCT
iajs-64	84	23	open	open	ADJ
iajs-64	84	24	.	.	PUNCT
iajs-64	85	1	(	(	PUNCT
iajs-64	85	2	3	3	X
iajs-64	85	3	)	)	PUNCT
iajs-64	85	4	suppose	suppose	VERB
iajs-64	85	5	that	that	SCONJ
iajs-64	85	6	a	a	PRON
iajs-64	85	7	is	be	AUX
iajs-64	85	8	pre	pre	ADJ
iajs-64	85	9	-	-	ADJ
iajs-64	85	10	n	n	CCONJ
iajs-64	85	11	-	-	PUNCT
iajs-64	85	12	open	open	ADJ
iajs-64	85	13	,	,	PUNCT
iajs-64	85	14	then	then	ADV
iajs-64	85	15	a	a	NOUN
iajs-64	85	16	nint	nint	NOUN
iajs-64	85	17	(	(	PUNCT
iajs-64	85	18	cl	cl	INTJ
iajs-64	85	19	(	(	PUNCT
iajs-64	85	20	a))	a))	NOUN
iajs-64	85	21	nint	nint	NOUN
iajs-64	85	22	(	(	PUNCT
iajs-64	85	23	cl	cl	INTJ
iajs-64	85	24	(	(	PUNCT
iajs-64	85	25	a))	a))	PROPN
iajs-64	85	26	(	(	PUNCT
iajs-64	85	27	cl	cl	INTJ
iajs-64	85	28	(	(	PUNCT
iajs-64	85	29	nint	nint	NOUN
iajs-64	85	30	(	(	PUNCT
iajs-64	85	31	a	a	NOUN
iajs-64	85	32	)	)	PUNCT
iajs-64	85	33	)	)	PUNCT
iajs-64	85	34	therefore	therefore	ADV
iajs-64	85	35	a	a	PRON
iajs-64	85	36	is	be	AUX
iajs-64	85	37	b	b	NUM
iajs-64	85	38	-	-	PUNCT
iajs-64	85	39	n	n	CCONJ
iajs-64	85	40	-	-	PUNCT
iajs-64	85	41	open	open	ADJ
iajs-64	85	42	.	.	PUNCT
iajs-64	86	1	(	(	PUNCT
iajs-64	86	2	4	4	X
iajs-64	86	3	)	)	PUNCT
iajs-64	86	4	suppose	suppose	VERB
iajs-64	86	5	that	that	SCONJ
iajs-64	86	6	a	a	PRON
iajs-64	86	7	is	be	AUX
iajs-64	86	8	b	b	NUM
iajs-64	86	9	-	-	PUNCT
iajs-64	86	10	n	n	CCONJ
iajs-64	86	11	-	-	PUNCT
iajs-64	86	12	open	open	ADJ
iajs-64	86	13	,	,	PUNCT
iajs-64	86	14	then	then	ADV
iajs-64	86	15	a	a	NOUN
iajs-64	86	16	nint	nint	NOUN
iajs-64	86	17	(	(	PUNCT
iajs-64	86	18	cl	cl	INTJ
iajs-64	86	19	(	(	PUNCT
iajs-64	86	20	a))	a))	PROPN
iajs-64	86	21	(	(	PUNCT
iajs-64	86	22	cl	cl	INTJ
iajs-64	86	23	(	(	PUNCT
iajs-64	86	24	nint	nint	NOUN
iajs-64	86	25	(	(	PUNCT
iajs-64	86	26	a	a	NOUN
iajs-64	86	27	)	)	PUNCT
iajs-64	86	28	)	)	PUNCT
iajs-64	86	29	,	,	PUNCT
iajs-64	86	30	if	if	SCONJ
iajs-64	86	31	a	a	NOUN
iajs-64	86	32	nint	nint	NOUN
iajs-64	86	33	(	(	PUNCT
iajs-64	86	34	cl	cl	INTJ
iajs-64	86	35	(	(	PUNCT
iajs-64	86	36	a	a	NOUN
iajs-64	86	37	)	)	PUNCT
iajs-64	86	38	)	)	PUNCT
iajs-64	86	39	,	,	PUNCT
iajs-64	86	40	then	then	ADV
iajs-64	86	41	a	a	NOUN
iajs-64	86	42	cl	cl	NOUN
iajs-64	86	43	(	(	PUNCT
iajs-64	86	44	nint	nint	NOUN
iajs-64	86	45	(	(	PUNCT
iajs-64	86	46	cl	cl	INTJ
iajs-64	86	47	(	(	PUNCT
iajs-64	86	48	a	a	NOUN
iajs-64	86	49	)	)	PUNCT
iajs-64	86	50	)	)	PUNCT
iajs-64	86	51	)	)	PUNCT
iajs-64	86	52	,	,	PUNCT
iajs-64	86	53	and	and	CCONJ
iajs-64	86	54	if	if	SCONJ
iajs-64	86	55	a	a	NOUN
iajs-64	86	56	nint	nint	NOUN
iajs-64	86	57	(	(	PUNCT
iajs-64	86	58	cl	cl	INTJ
iajs-64	86	59	(	(	PUNCT
iajs-64	86	60	a	a	NOUN
iajs-64	86	61	)	)	PUNCT
iajs-64	86	62	)	)	PUNCT
iajs-64	86	63	,	,	PUNCT
iajs-64	86	64	then	then	ADV
iajs-64	86	65	a	a	NOUN
iajs-64	86	66	cl	cl	NOUN
iajs-64	86	67	(	(	PUNCT
iajs-64	86	68	nint	nint	NOUN
iajs-64	86	69	(	(	PUNCT
iajs-64	86	70	a))	a))	NOUN
iajs-64	86	71	cl	cl	NOUN
iajs-64	86	72	(	(	PUNCT
iajs-64	86	73	nint	nint	NOUN
iajs-64	86	74	(	(	PUNCT
iajs-64	86	75	cl	cl	INTJ
iajs-64	86	76	(	(	PUNCT
iajs-64	86	77	a	a	NOUN
iajs-64	86	78	)	)	PUNCT
iajs-64	86	79	)	)	PUNCT
iajs-64	86	80	)	)	PUNCT
iajs-64	86	81	(	(	PUNCT
iajs-64	86	82	by	by	ADP
iajs-64	86	83	proposition(2.9(1	proposition(2.9(1	PROPN
iajs-64	86	84	)	)	PUNCT
iajs-64	86	85	)	)	PUNCT
iajs-64	86	86	)	)	PUNCT
iajs-64	86	87	,	,	PUNCT
iajs-64	86	88	that	that	PRON
iajs-64	86	89	is	be	AUX
iajs-64	86	90	a	a	DET
iajs-64	86	91	is	be	AUX
iajs-64	86	92			NOUN
iajs-64	86	93	-n	-n	NOUN
iajs-64	86	94	-	-	NOUN
iajs-64	86	95	open	open	ADJ
iajs-64	86	96	.	.	PUNCT
iajs-64	87	1	the	the	DET
iajs-64	87	2	converse	converse	NOUN
iajs-64	87	3	of	of	ADP
iajs-64	87	4	proposition	proposition	NOUN
iajs-64	87	5	(	(	PUNCT
iajs-64	87	6	2.12	2.12	NUM
iajs-64	87	7	)	)	PUNCT
iajs-64	87	8	may	may	AUX
iajs-64	87	9	be	be	AUX
iajs-64	87	10	not	not	PART
iajs-64	87	11	true	true	ADJ
iajs-64	87	12	in	in	ADP
iajs-64	87	13	general	general	ADJ
iajs-64	87	14	to	to	PART
iajs-64	87	15	show	show	VERB
iajs-64	87	16	that	that	PRON
iajs-64	87	17	see	see	VERB
iajs-64	87	18	the	the	DET
iajs-64	87	19	following	follow	VERB
iajs-64	87	20	examples	example	NOUN
iajs-64	87	21	examples	example	NOUN
iajs-64	87	22	2.13	2.13	NUM
iajs-64	87	23	:	:	PUNCT
iajs-64	87	24	(	(	PUNCT
iajs-64	87	25	1	1	X
iajs-64	87	26	)	)	PUNCT
iajs-64	87	27	let	let	VERB
iajs-64	87	28	x	x	PRON
iajs-64	87	29	be	be	AUX
iajs-64	87	30	infinite	infinite	ADJ
iajs-64	87	31	set	set	NOUN
iajs-64	87	32	and	and	CCONJ
iajs-64	87	33	a	a	DET
iajs-64	87	34	,	,	PUNCT
iajs-64	87	35	b	b	NOUN
iajs-64	87	36	,	,	PUNCT
iajs-64	87	37	c	c	PROPN
iajs-64	87	38	and	and	CCONJ
iajs-64	87	39	d	d	PROPN
iajs-64	87	40	be	be	VERB
iajs-64	87	41	subsets	subset	NOUN
iajs-64	87	42	of	of	ADP
iajs-64	87	43	x	x	SYM
iajs-64	87	44	such	such	ADJ
iajs-64	87	45	that	that	SCONJ
iajs-64	87	46	each	each	PRON
iajs-64	87	47	of	of	ADP
iajs-64	87	48	them	they	PRON
iajs-64	87	49	is	be	AUX
iajs-64	87	50	infinite	infinite	ADJ
iajs-64	87	51	and	and	CCONJ
iajs-64	87	52	the	the	DET
iajs-64	87	53	collection	collection	NOUN
iajs-64	87	54	{	{	PUNCT
iajs-64	87	55	a	a	PROPN
iajs-64	87	56	,	,	PUNCT
iajs-64	87	57	b	b	NOUN
iajs-64	87	58	,	,	PUNCT
iajs-64	87	59	c	c	NOUN
iajs-64	87	60	,	,	PUNCT
iajs-64	87	61	d}be	d}be	PROPN
iajs-64	87	62	a	a	DET
iajs-64	87	63	partition	partition	NOUN
iajs-64	87	64	of	of	ADP
iajs-64	87	65	x	x	PRON
iajs-64	87	66	,	,	PUNCT
iajs-64	87	67	define	define	VERB
iajs-64	87	68	the	the	DET
iajs-64	87	69	topology	topology	NOUN
iajs-64	87	70	on	on	ADP
iajs-64	87	71	x	x	PUNCT
iajs-64	87	72	by	by	ADP
iajs-64	87	73			NOUN
iajs-64	87	74	=	=	NOUN
iajs-64	87	75	{	{	PUNCT
iajs-64	87	76			NOUN
iajs-64	87	77	,	,	PUNCT
iajs-64	87	78	x	x	X
iajs-64	87	79	,	,	PUNCT
iajs-64	87	80	a	a	DET
iajs-64	87	81	,	,	PUNCT
iajs-64	87	82	b,{a	b,{a	PROPN
iajs-64	87	83	,	,	PUNCT
iajs-64	87	84	b},{a	b},{a	ADV
iajs-64	87	85	,	,	PUNCT
iajs-64	87	86	b	b	NOUN
iajs-64	87	87	,	,	PUNCT
iajs-64	87	88	c}},where	c}},where	X
iajs-64	87	89	{	{	PUNCT
iajs-64	87	90	a	a	DET
iajs-64	87	91	,	,	PUNCT
iajs-64	87	92	b	b	NOUN
iajs-64	87	93	,	,	PUNCT
iajs-64	87	94	c}=a	c}=a	NOUN
iajs-64	87	95	bc	bc	NOUN
iajs-64	87	96	and	and	CCONJ
iajs-64	87	97	that	that	SCONJ
iajs-64	87	98	similarly	similarly	ADV
iajs-64	87	99	for	for	ADP
iajs-64	87	100	{	{	PUNCT
iajs-64	87	101	a	a	PRON
iajs-64	87	102	,	,	PUNCT
iajs-64	87	103	b},{a	b},{a	PROPN
iajs-64	87	104	,	,	PUNCT
iajs-64	87	105	b	b	NOUN
iajs-64	87	106	,	,	PUNCT
iajs-64	87	107	d}and	d}and	NOUN
iajs-64	87	108	{	{	PUNCT
iajs-64	87	109	b	b	NOUN
iajs-64	87	110	,	,	PUNCT
iajs-64	87	111	c	c	NOUN
iajs-64	87	112	,	,	PUNCT
iajs-64	87	113	d	d	NOUN
iajs-64	87	114	}	}	PUNCT
iajs-64	87	115	.	.	PUNCT
iajs-64	88	1	then	then	ADV
iajs-64	88	2	{	{	PUNCT
iajs-64	88	3	a	a	DET
iajs-64	88	4	,	,	PUNCT
iajs-64	88	5	b	b	NOUN
iajs-64	88	6	,	,	PUNCT
iajs-64	88	7	d	d	NOUN
iajs-64	88	8	}	}	PUNCT
iajs-64	88	9	is	be	AUX
iajs-64	88	10			X
iajs-64	88	11	-n	-n	X
iajs-64	88	12	-	-	NOUN
iajs-64	88	13	open	open	ADJ
iajs-64	88	14	but	but	CCONJ
iajs-64	88	15	not	not	PART
iajs-64	88	16	n	n	CCONJ
iajs-64	88	17	-	-	PUNCT
iajs-64	88	18	open	open	ADJ
iajs-64	88	19	and	and	CCONJ
iajs-64	88	20	{	{	PUNCT
iajs-64	88	21	b	b	NOUN
iajs-64	88	22	,	,	PUNCT
iajs-64	88	23	c	c	NOUN
iajs-64	88	24	,	,	PUNCT
iajs-64	88	25	d	d	NOUN
iajs-64	88	26	}	}	PUNCT
iajs-64	88	27	is	be	AUX
iajs-64	88	28	b	b	NUM
iajs-64	88	29	-	-	PUNCT
iajs-64	88	30	n	n	CCONJ
iajs-64	88	31	-	-	PUNCT
iajs-64	88	32	open	open	ADJ
iajs-64	88	33	but	but	CCONJ
iajs-64	88	34	not	not	PART
iajs-64	88	35	pre	pre	ADJ
iajs-64	88	36	-	-	ADJ
iajs-64	88	37	n	n	CCONJ
iajs-64	88	38	-	-	PUNCT
iajs-64	88	39	open	open	ADJ
iajs-64	88	40	.	.	PUNCT
iajs-64	89	1	(	(	PUNCT
iajs-64	89	2	2	2	X
iajs-64	89	3	)	)	PUNCT
iajs-64	89	4	in	in	ADP
iajs-64	89	5	example	example	NOUN
iajs-64	89	6	(	(	PUNCT
iajs-64	89	7	2.7	2.7	NUM
iajs-64	89	8	)	)	PUNCT
iajs-64	89	9	let	let	VERB
iajs-64	89	10	a=	a=	ADV
iajs-64	89	11	q	q	ADJ
iajs-64	90	1	[	[	X
iajs-64	90	2	0,1	0,1	NUM
iajs-64	90	3	]	]	PUNCT
iajs-64	90	4	,	,	PUNCT
iajs-64	90	5	then	then	ADV
iajs-64	90	6	a	a	PRON
iajs-64	90	7	is	be	AUX
iajs-64	90	8			NOUN
iajs-64	90	9	-n	-n	NOUN
iajs-64	90	10	-	-	NOUN
iajs-64	90	11	open	open	ADJ
iajs-64	90	12	but	but	CCONJ
iajs-64	90	13	not	not	PART
iajs-64	90	14	b	b	NOUN
iajs-64	90	15	-	-	PUNCT
iajs-64	90	16	n	n	CCONJ
iajs-64	90	17	-	-	PUNCT
iajs-64	90	18	open	open	ADJ
iajs-64	90	19	.	.	PUNCT
iajs-64	91	1	(	(	PUNCT
iajs-64	91	2	3	3	X
iajs-64	91	3	)	)	PUNCT
iajs-64	91	4	in	in	ADP
iajs-64	91	5	example	example	NOUN
iajs-64	91	6	(	(	PUNCT
iajs-64	91	7	2.7	2.7	NUM
iajs-64	91	8	)	)	PUNCT
iajs-64	91	9	let	let	VERB
iajs-64	91	10	a=	a=	ADV
iajs-64	91	11	q	q	VERB
iajs-64	91	12	,	,	PUNCT
iajs-64	91	13	then	then	ADV
iajs-64	91	14	a	a	PRON
iajs-64	91	15	is	be	AUX
iajs-64	91	16	pre	pre	ADJ
iajs-64	91	17	-	-	ADJ
iajs-64	91	18	n	n	CCONJ
iajs-64	91	19	-	-	PUNCT
iajs-64	91	20	open	open	ADJ
iajs-64	91	21	but	but	CCONJ
iajs-64	91	22	not	not	PART
iajs-64	91	23			NOUN
iajs-64	91	24	-n	-n	NOUN
iajs-64	91	25	-	-	ADJ
iajs-64	91	26	open	open	ADJ
iajs-64	91	27	proposition	proposition	NOUN
iajs-64	91	28	2.14	2.14	NUM
iajs-64	91	29	:	:	PUNCT
iajs-64	91	30	in	in	ADP
iajs-64	91	31	any	any	DET
iajs-64	91	32	topological	topological	ADJ
iajs-64	91	33	space	space	NOUN
iajs-64	91	34	the	the	DET
iajs-64	91	35	following	follow	VERB
iajs-64	91	36	are	be	AUX
iajs-64	91	37	satisfied	satisfied	ADJ
iajs-64	91	38	(	(	PUNCT
iajs-64	91	39	1	1	X
iajs-64	91	40	)	)	PUNCT
iajs-64	91	41	every	every	DET
iajs-64	91	42			NUM
iajs-64	91	43	-open	-open	ADJ
iajs-64	91	44	set	set	NOUN
iajs-64	91	45	is	be	AUX
iajs-64	91	46			X
iajs-64	91	47	-n	-n	X
iajs-64	91	48	-	-	NOUN
iajs-64	91	49	open	open	ADJ
iajs-64	91	50	,	,	PUNCT
iajs-64	91	51	and	and	CCONJ
iajs-64	91	52	every	every	DET
iajs-64	91	53			NOUN
iajs-64	91	54	-n	-n	X
iajs-64	91	55	-	-	ADJ
iajs-64	91	56	open	open	ADJ
iajs-64	91	57	set	set	NOUN
iajs-64	91	58	is	be	AUX
iajs-64	91	59			NOUN
iajs-64	91	60	-	-	PUNCT
iajs-64	91	61	-open	-open	NOUN
iajs-64	91	62	.	.	PUNCT
iajs-64	92	1	(	(	PUNCT
iajs-64	92	2	2	2	X
iajs-64	92	3	)	)	PUNCT
iajs-64	92	4	every	every	DET
iajs-64	92	5	pre	pre	ADJ
iajs-64	92	6	-	-	ADJ
iajs-64	92	7	open	open	ADJ
iajs-64	92	8	set	set	NOUN
iajs-64	92	9	is	be	AUX
iajs-64	92	10	pre	pre	ADJ
iajs-64	92	11	-	-	ADJ
iajs-64	92	12	n	n	CCONJ
iajs-64	92	13	-	-	PUNCT
iajs-64	92	14	open	open	ADJ
iajs-64	92	15	,	,	PUNCT
iajs-64	92	16	and	and	CCONJ
iajs-64	92	17	every	every	DET
iajs-64	92	18	pre	pre	ADJ
iajs-64	92	19	-	-	ADJ
iajs-64	92	20	n	n	CCONJ
iajs-64	92	21	-	-	PUNCT
iajs-64	92	22	open	open	ADJ
iajs-64	92	23	set	set	NOUN
iajs-64	92	24	is	be	AUX
iajs-64	92	25	pre-	pre-	NOUN
iajs-64	92	26	-open	-open	NOUN
iajs-64	92	27	.	.	PUNCT
iajs-64	93	1	(	(	PUNCT
iajs-64	93	2	3	3	X
iajs-64	93	3	)	)	PUNCT
iajs-64	93	4	every	every	DET
iajs-64	93	5	b	b	X
iajs-64	93	6	-	-	PUNCT
iajs-64	93	7	open	open	ADJ
iajs-64	93	8	set	set	NOUN
iajs-64	93	9	is	be	AUX
iajs-64	93	10	b	b	NUM
iajs-64	93	11	-	-	PUNCT
iajs-64	93	12	n	n	CCONJ
iajs-64	93	13	-	-	PUNCT
iajs-64	93	14	open	open	ADJ
iajs-64	93	15	,	,	PUNCT
iajs-64	93	16	and	and	CCONJ
iajs-64	93	17	every	every	DET
iajs-64	93	18	b	b	NOUN
iajs-64	93	19	-	-	PUNCT
iajs-64	93	20	n	n	CCONJ
iajs-64	93	21	-	-	PUNCT
iajs-64	93	22	open	open	ADJ
iajs-64	93	23	set	set	NOUN
iajs-64	93	24	is	be	AUX
iajs-64	93	25	b-	b-	PROPN
iajs-64	93	26	-open	-open	PROPN
iajs-64	93	27	.	.	PUNCT
iajs-64	94	1	(	(	PUNCT
iajs-64	94	2	4	4	X
iajs-64	94	3	)	)	PUNCT
iajs-64	94	4	every	every	DET
iajs-64	94	5			PROPN
iajs-64	94	6	-open	-open	NOUN
iajs-64	94	7	set	set	NOUN
iajs-64	94	8	is	be	AUX
iajs-64	94	9			NOUN
iajs-64	94	10	-n	-n	NOUN
iajs-64	94	11	-	-	NOUN
iajs-64	94	12	open	open	ADJ
iajs-64	94	13	,	,	PUNCT
iajs-64	94	14	and	and	CCONJ
iajs-64	94	15	every	every	DET
iajs-64	94	16			PROPN
iajs-64	94	17	-n	-n	NOUN
iajs-64	94	18	-	-	ADJ
iajs-64	94	19	open	open	ADJ
iajs-64	94	20	set	set	NOUN
iajs-64	94	21	is	be	AUX
iajs-64	94	22			NOUN
iajs-64	94	23	-	-	PUNCT
iajs-64	94	24	-open	-open	NOUN
iajs-64	94	25	.	.	PUNCT
iajs-64	95	1	proof	proof	NOUN
iajs-64	95	2	(	(	PUNCT
iajs-64	95	3	1	1	X
iajs-64	95	4	)	)	PUNCT
iajs-64	95	5	suppose	suppose	VERB
iajs-64	95	6	that	that	SCONJ
iajs-64	95	7	a	a	DET
iajs-64	95	8	is	is	NOUN
iajs-64	95	9	-open	-open	NOUN
iajs-64	95	10	set	set	NOUN
iajs-64	95	11	,	,	PUNCT
iajs-64	95	12	that	that	PRON
iajs-64	95	13	is	be	AUX
iajs-64	95	14	a	a	NOUN
iajs-64	95	15	(	(	PUNCT
iajs-64	95	16	intint(cl	intint(cl	NOUN
iajs-64	95	17	(	(	PUNCT
iajs-64	95	18	a	a	NOUN
iajs-64	95	19	)	)	PUNCT
iajs-64	95	20	)	)	PUNCT
iajs-64	95	21	)	)	PUNCT
iajs-64	95	22	and	and	CCONJ
iajs-64	95	23	by	by	ADP
iajs-64	95	24	proposition	proposition	NOUN
iajs-64	95	25	(	(	PUNCT
iajs-64	95	26	2.9(1	2.9(1	NUM
iajs-64	95	27	)	)	PUNCT
iajs-64	95	28	)	)	PUNCT
iajs-64	96	1	we	we	PRON
iajs-64	96	2	have	have	VERB
iajs-64	96	3	a	a	NOUN
iajs-64	96	4	(	(	PUNCT
iajs-64	96	5	intint(cl	intint(cl	NOUN
iajs-64	96	6	(	(	PUNCT
iajs-64	96	7	a)))	a)))	NOUN
iajs-64	96	8	nint	nint	NOUN
iajs-64	96	9	(	(	PUNCT
iajs-64	96	10	cl	cl	INTJ
iajs-64	96	11	(	(	PUNCT
iajs-64	96	12	nint	nint	NOUN
iajs-64	96	13	(	(	PUNCT
iajs-64	96	14	a	a	NOUN
iajs-64	96	15	)	)	PUNCT
iajs-64	96	16	)	)	PUNCT
iajs-64	96	17	)	)	PUNCT
iajs-64	96	18	,	,	PUNCT
iajs-64	96	19	then	then	ADV
iajs-64	96	20	a	a	PRON
iajs-64	96	21	is	be	AUX
iajs-64	96	22			NOUN
iajs-64	96	23	-n	-n	X
iajs-64	96	24	-	-	NOUN
iajs-64	96	25	open	open	ADJ
iajs-64	96	26	and	and	CCONJ
iajs-64	96	27	if	if	SCONJ
iajs-64	96	28	a	a	DET
iajs-64	96	29	is	is	NOUN
iajs-64	96	30	-nopen	-nopen	NOUN
iajs-64	96	31	,	,	PUNCT
iajs-64	96	32	also	also	ADV
iajs-64	96	33	by	by	ADP
iajs-64	96	34	proposition	proposition	NOUN
iajs-64	96	35	(	(	PUNCT
iajs-64	96	36	2.9(1	2.9(1	NUM
iajs-64	96	37	)	)	PUNCT
iajs-64	96	38	)	)	PUNCT
iajs-64	97	1	we	we	PRON
iajs-64	97	2	have	have	VERB
iajs-64	97	3	a	a	NOUN
iajs-64	97	4	nint	nint	NOUN
iajs-64	97	5	(	(	PUNCT
iajs-64	97	6	cl	cl	INTJ
iajs-64	97	7	(	(	PUNCT
iajs-64	97	8	nint	nint	NOUN
iajs-64	97	9	(	(	PUNCT
iajs-64	97	10	a	a	NOUN
iajs-64	97	11	)	)	PUNCT
iajs-64	97	12	)	)	PUNCT
iajs-64	97	13	)	)	PUNCT
iajs-64	98	1			PROPN
iajs-64	98	2	(	(	PUNCT
iajs-64	98	3	(	(	PUNCT
iajs-64	98	4	int(int	int(int	NOUN
iajs-64	98	5			X
iajs-64	98	6	cl	cl	INTJ
iajs-64	98	7	a	a	NOUN
iajs-64	98	8	)	)	PUNCT
iajs-64	98	9	)	)	PUNCT
iajs-64	98	10	)	)	PUNCT
iajs-64	98	11	,	,	PUNCT
iajs-64	98	12	then	then	ADV
iajs-64	98	13	a	a	PRON
iajs-64	98	14	is	be	AUX
iajs-64	98	15			NOUN
iajs-64	98	16	-	-	PUNCT
iajs-64	98	17	-open	-open	NOUN
iajs-64	98	18	.	.	PUNCT
iajs-64	99	1	similar	similar	ADJ
iajs-64	99	2	proof	proof	NOUN
iajs-64	99	3	for	for	ADP
iajs-64	99	4	the	the	DET
iajs-64	99	5	other	other	ADJ
iajs-64	99	6	cases	case	NOUN
iajs-64	99	7	.	.	PUNCT
iajs-64	100	1	remark	remark	NOUN
iajs-64	100	2	2.15	2.15	NUM
iajs-64	100	3	:	:	PUNCT
iajs-64	100	4	the	the	DET
iajs-64	100	5	following	follow	VERB
iajs-64	100	6	examples	example	NOUN
iajs-64	100	7	show	show	VERB
iajs-64	100	8	that	that	SCONJ
iajs-64	100	9	the	the	DET
iajs-64	100	10	converse	converse	NOUN
iajs-64	100	11	of	of	ADP
iajs-64	100	12	some	some	DET
iajs-64	100	13	points	point	NOUN
iajs-64	100	14	of	of	ADP
iajs-64	100	15	proposition	proposition	NOUN
iajs-64	100	16	(	(	PUNCT
iajs-64	100	17	2.14	2.14	NUM
iajs-64	100	18	)	)	PUNCT
iajs-64	100	19	may	may	AUX
iajs-64	100	20	be	be	AUX
iajs-64	100	21	not	not	PART
iajs-64	100	22	true	true	ADJ
iajs-64	100	23	in	in	ADP
iajs-64	100	24	general	general	ADJ
iajs-64	100	25	271	271	NUM
iajs-64	101	1	|	|	NOUN
iajs-64	101	2	mathematics	mathematic	NOUN
iajs-64	101	3	2016	2016	NUM
iajs-64	101	4	)	)	PUNCT
iajs-64	101	5	عام	عام	ADP
iajs-64	101	6	1العدد	1العدد	NUM
iajs-64	101	7	(	(	PUNCT
iajs-64	101	8	29لمجلد	29لمجلد	NUM
iajs-64	101	9	ا	ا	X
iajs-64	101	10	مجلة	مجلة	NOUN
iajs-64	101	11	إبن	إبن	VERB
iajs-64	101	12	الهيثم	الهيثم	ADJ
iajs-64	101	13	للعلوم	للعلوم	NOUN
iajs-64	101	14	الصرفة	الصرفة	NOUN
iajs-64	102	1	و	و	PRON
iajs-64	102	2	التطبيقية	التطبيقية	ADJ
iajs-64	102	3	ibn	ibn	PROPN
iajs-64	102	4	al	al	PROPN
iajs-64	102	5	-	-	PUNCT
iajs-64	102	6	haitham	haitham	PROPN
iajs-64	102	7	j.	j.	PROPN
iajs-64	102	8	for	for	ADP
iajs-64	102	9	pure	pure	PROPN
iajs-64	102	10	&	&	CCONJ
iajs-64	102	11	appl	appl	PROPN
iajs-64	102	12	.	.	PUNCT
iajs-64	103	1	sci	sci	PROPN
iajs-64	103	2	.	.	PUNCT
iajs-64	104	1	vol.29	vol.29	PROPN
iajs-64	104	2	(	(	PUNCT
iajs-64	104	3	1	1	NUM
iajs-64	104	4	)	)	PUNCT
iajs-64	104	5	2016	2016	NUM
iajs-64	104	6	examples	example	NOUN
iajs-64	104	7	2.16	2.16	NUM
iajs-64	104	8	:	:	PUNCT
iajs-64	104	9	(	(	PUNCT
iajs-64	104	10	1	1	X
iajs-64	104	11	)	)	PUNCT
iajs-64	104	12	in	in	ADP
iajs-64	104	13	example	example	NOUN
iajs-64	104	14	(	(	PUNCT
iajs-64	104	15	2.3(1	2.3(1	NUM
iajs-64	104	16	)	)	PUNCT
iajs-64	104	17	)	)	PUNCT
iajs-64	104	18	let	let	VERB
iajs-64	104	19	a={1,2,3	a={1,2,3	NOUN
iajs-64	104	20	}	}	PUNCT
iajs-64	104	21	,	,	PUNCT
iajs-64	104	22	then	then	ADV
iajs-64	104	23	a	a	PRON
iajs-64	104	24	is	be	AUX
iajs-64	104	25			NOUN
iajs-64	104	26	-	-	PUNCT
iajs-64	104	27	-open	-open	ADJ
iajs-64	104	28	(	(	PUNCT
iajs-64	104	29	since	since	SCONJ
iajs-64	104	30	x	x	NOUN
iajs-64	104	31	=	=	NOUN
iajs-64	104	32	n	n	PRON
iajs-64	104	33	is	be	AUX
iajs-64	104	34	countable	countable	ADJ
iajs-64	104	35	)	)	PUNCT
iajs-64	104	36	but	but	CCONJ
iajs-64	104	37	not	not	PART
iajs-64	104	38			VERB
iajs-64	104	39	-n	-n	NOUN
iajs-64	104	40	-	-	NOUN
iajs-64	104	41	open	open	ADJ
iajs-64	104	42	since	since	SCONJ
iajs-64	104	43	u4	u4	PROPN
iajs-64	104	44	is	be	AUX
iajs-64	104	45	open	open	ADJ
iajs-64	104	46	and	and	CCONJ
iajs-64	104	47	x\u4	x\u4	NOUN
iajs-64	104	48	=	=	PROPN
iajs-64	104	49	a	a	PRON
iajs-64	104	50	then	then	ADV
iajs-64	104	51	a	a	PRON
iajs-64	104	52	is	be	AUX
iajs-64	104	53	closed	close	VERB
iajs-64	104	54	hence	hence	ADV
iajs-64	104	55	cl	cl	NOUN
iajs-64	104	56	(	(	PUNCT
iajs-64	104	57	a)=a	a)=a	NOUN
iajs-64	104	58	and	and	CCONJ
iajs-64	104	59	nint	nint	VERB
iajs-64	104	60	(	(	PUNCT
iajs-64	104	61	a)=	a)=	NOUN
iajs-64	104	62	since	since	SCONJ
iajs-64	104	63	1a	1a	NUM
iajs-64	104	64	and	and	CCONJ
iajs-64	104	65	only	only	ADV
iajs-64	104	66	open	open	ADJ
iajs-64	104	67	set	set	NOUN
iajs-64	104	68	containing	contain	VERB
iajs-64	104	69	1	1	NUM
iajs-64	104	70	is	be	AUX
iajs-64	104	71	x	x	PUNCT
iajs-64	104	72	and	and	CCONJ
iajs-64	104	73	x\a	x\a	PUNCT
iajs-64	104	74	not	not	PART
iajs-64	104	75	finite	finite	VERB
iajs-64	104	76	hence	hence	ADV
iajs-64	104	77	a	a	PRON
iajs-64	104	78	is	be	AUX
iajs-64	104	79	not	not	PART
iajs-64	104	80	n	n	ADV
iajs-64	104	81	-	-	PUNCT
iajs-64	104	82	open	open	ADJ
iajs-64	104	83	and	and	CCONJ
iajs-64	104	84	does	do	AUX
iajs-64	104	85	not	not	PART
iajs-64	104	86	contain	contain	VERB
iajs-64	104	87	n	n	CCONJ
iajs-64	104	88	-	-	PUNCT
iajs-64	104	89	open	open	ADJ
iajs-64	104	90	set	set	NOUN
iajs-64	104	91	unless	unless	SCONJ
iajs-64	104	92			NOUN
iajs-64	104	93	,	,	PUNCT
iajs-64	104	94	hence	hence	ADV
iajs-64	104	95	a	a	ADJ
iajs-64	104	96	cl	cl	NOUN
iajs-64	104	97	(	(	PUNCT
iajs-64	104	98	nint	nint	NOUN
iajs-64	104	99	(	(	PUNCT
iajs-64	104	100	cl	cl	INTJ
iajs-64	104	101	(	(	PUNCT
iajs-64	104	102	a)))=	a)))=	ADJ
iajs-64	104	103			NOUN
iajs-64	104	104	,	,	PUNCT
iajs-64	104	105	therefore	therefore	ADV
iajs-64	104	106	a	a	PRON
iajs-64	104	107	is	be	AUX
iajs-64	104	108	not	not	PART
iajs-64	104	109			NOUN
iajs-64	104	110	-n	-n	NOUN
iajs-64	104	111	-	-	NOUN
iajs-64	104	112	open	open	ADJ
iajs-64	104	113	.	.	PUNCT
iajs-64	105	1	(	(	PUNCT
iajs-64	105	2	2	2	X
iajs-64	105	3	)	)	PUNCT
iajs-64	105	4	let	let	VERB
iajs-64	105	5	x={1,2,3	x={1,2,3	NUM
iajs-64	105	6	}	}	PUNCT
iajs-64	105	7	and	and	CCONJ
iajs-64	105	8			PROPN
iajs-64	105	9	=	=	PROPN
iajs-64	105	10	{	{	PUNCT
iajs-64	105	11	x,	x,	PROPN
iajs-64	105	12	,	,	PUNCT
iajs-64	105	13	{	{	PUNCT
iajs-64	105	14	a},{b},{a	a},{b},{a	X
iajs-64	105	15	,	,	PUNCT
iajs-64	105	16	b	b	NOUN
iajs-64	105	17	}	}	PUNCT
iajs-64	105	18	}	}	PUNCT
iajs-64	105	19	.	.	PUNCT
iajs-64	106	1	then	then	ADV
iajs-64	106	2	{	{	PUNCT
iajs-64	106	3	c	c	X
iajs-64	106	4	}	}	PUNCT
iajs-64	106	5	is	be	AUX
iajs-64	106	6	an	an	DET
iajs-64	106	7			NOUN
iajs-64	106	8	-n	-n	X
iajs-64	106	9	-	-	NOUN
iajs-64	106	10	open	open	ADJ
iajs-64	106	11	but	but	CCONJ
iajs-64	106	12	not	not	PART
iajs-64	106	13			PROPN
iajs-64	106	14	-open	-open	PROPN
iajs-64	106	15	.	.	PUNCT
iajs-64	107	1	lemma	lemma	PROPN
iajs-64	108	1	[	[	X
iajs-64	108	2	8	8	NUM
iajs-64	108	3	]	]	SYM
iajs-64	108	4	2.17	2.17	NUM
iajs-64	108	5	:	:	PUNCT
iajs-64	108	6	let	let	VERB
iajs-64	108	7	(	(	PUNCT
iajs-64	108	8	x	x	X
iajs-64	108	9	,	,	PUNCT
iajs-64	108	10	τ	τ	X
iajs-64	108	11	)	)	PUNCT
iajs-64	108	12	be	be	VERB
iajs-64	108	13	a	a	DET
iajs-64	108	14	topological	topological	ADJ
iajs-64	108	15	space	space	NOUN
iajs-64	108	16	,	,	PUNCT
iajs-64	108	17	then	then	ADV
iajs-64	108	18	the	the	DET
iajs-64	108	19	following	follow	VERB
iajs-64	108	20	properties	property	NOUN
iajs-64	108	21	hold	hold	VERB
iajs-64	108	22	:	:	PUNCT
iajs-64	109	1	1	1	X
iajs-64	109	2	.	.	X
iajs-64	109	3	every	every	DET
iajs-64	109	4			PROPN
iajs-64	109	5	-open	-open	PROPN
iajs-64	109	6	set	set	NOUN
iajs-64	109	7	is	be	AUX
iajs-64	109	8			NOUN
iajs-64	109	9	-	-	PUNCT
iajs-64	109	10	-open	-open	NOUN
iajs-64	109	11	.	.	PUNCT
iajs-64	110	1	2	2	NUM
iajs-64	110	2	.	.	X
iajs-64	110	3	every	every	DET
iajs-64	110	4			NOUN
iajs-64	110	5	-	-	PUNCT
iajs-64	110	6	-open	-open	ADJ
iajs-64	110	7	set	set	NOUN
iajs-64	110	8	is	be	AUX
iajs-64	110	9	pre-	pre-	NOUN
iajs-64	110	10	-open	-open	NOUN
iajs-64	110	11	.	.	PUNCT
iajs-64	111	1	3	3	NUM
iajs-64	111	2	.	.	X
iajs-64	111	3	every	every	DET
iajs-64	111	4	pre-	pre-	NOUN
iajs-64	111	5	-open	-open	ADJ
iajs-64	111	6	set	set	NOUN
iajs-64	111	7	is	be	AUX
iajs-64	111	8	b-	b-	PROPN
iajs-64	111	9	-open	-open	PROPN
iajs-64	111	10	.	.	PUNCT
iajs-64	112	1	4	4	NUM
iajs-64	112	2	.	.	X
iajs-64	112	3	every	every	DET
iajs-64	112	4	b-	b-	PROPN
iajs-64	112	5	-open	-open	PROPN
iajs-64	112	6	set	set	NOUN
iajs-64	112	7	is	be	AUX
iajs-64	112	8			NOUN
iajs-64	112	9	-	-	PUNCT
iajs-64	112	10	-open	-open	NOUN
iajs-64	112	11	.	.	PUNCT
iajs-64	113	1	the	the	DET
iajs-64	113	2	following	follow	VERB
iajs-64	113	3	diagram	diagram	NOUN
iajs-64	113	4	explains	explain	VERB
iajs-64	113	5	the	the	DET
iajs-64	113	6	relation	relation	NOUN
iajs-64	113	7	among	among	ADP
iajs-64	113	8	the	the	DET
iajs-64	113	9	above	above	ADJ
iajs-64	113	10	concepts	concept	NOUN
iajs-64	113	11	.	.	PUNCT
iajs-64	114	1	open	open	ADJ
iajs-64	114	2			SYM
iajs-64	114	3	-open	-open	ADJ
iajs-64	114	4	pre	pre	ADJ
iajs-64	114	5	-	-	ADJ
iajs-64	114	6	open	open	ADJ
iajs-64	114	7	b	b	NOUN
iajs-64	114	8	-	-	PUNCT
iajs-64	114	9	open	open	ADJ
iajs-64	114	10			PROPN
iajs-64	114	11	-open	-open	NOUN
iajs-64	114	12	n	n	CCONJ
iajs-64	114	13	-	-	PUNCT
iajs-64	114	14	open	open	ADJ
iajs-64	114	15			NOUN
iajs-64	114	16	-n	-n	X
iajs-64	114	17	-	-	ADJ
iajs-64	114	18	open	open	ADJ
iajs-64	114	19	pre	pre	ADJ
iajs-64	114	20	-	-	ADJ
iajs-64	114	21	n	n	CCONJ
iajs-64	114	22	-	-	PUNCT
iajs-64	114	23	open	open	ADJ
iajs-64	114	24	b	b	NOUN
iajs-64	114	25	-	-	PUNCT
iajs-64	114	26	n	n	CCONJ
iajs-64	114	27	-	-	PUNCT
iajs-64	114	28	open	open	VERB
iajs-64	114	29			PROPN
iajs-64	114	30	-n	-n	NOUN
iajs-64	114	31	-	-	NOUN
iajs-64	114	32	open	open	ADJ
iajs-64	114	33			PROPN
iajs-64	114	34	-open	-open	ADJ
iajs-64	114	35	-	-	X
iajs-64	114	36	-open	-open	ADJ
iajs-64	114	37	pre-	pre-	X
iajs-64	114	38	-open	-open	ADJ
iajs-64	114	39	b-	b-	PROPN
iajs-64	114	40	-open	-open	ADJ
iajs-64	114	41			NOUN
iajs-64	114	42	-	-	PUNCT
iajs-64	114	43	-open	-open	ADJ
iajs-64	114	44	definition	definition	NOUN
iajs-64	114	45	2.18[8	2.18[8	NUM
iajs-64	114	46	]	]	X
iajs-64	114	47	:	:	PUNCT
iajs-64	114	48	a	a	DET
iajs-64	114	49	topological	topological	ADJ
iajs-64	114	50	space	space	NOUN
iajs-64	114	51	(	(	PUNCT
iajs-64	114	52	x	x	X
iajs-64	114	53	,	,	PUNCT
iajs-64	114	54	τ	τ	X
iajs-64	114	55	)	)	PUNCT
iajs-64	114	56	is	be	AUX
iajs-64	114	57	called	call	VERB
iajs-64	114	58	door	door	NOUN
iajs-64	114	59	space	space	NOUN
iajs-64	114	60	if	if	SCONJ
iajs-64	114	61	every	every	DET
iajs-64	114	62	subset	subset	NOUN
iajs-64	114	63	of	of	ADP
iajs-64	114	64	x	x	PUNCT
iajs-64	114	65	is	be	AUX
iajs-64	114	66	open	open	ADJ
iajs-64	114	67	or	or	CCONJ
iajs-64	114	68	closed	closed	ADJ
iajs-64	114	69	.	.	PUNCT
iajs-64	115	1	proposition	proposition	NOUN
iajs-64	115	2	2.19	2.19	NUM
iajs-64	115	3	:	:	PUNCT
iajs-64	115	4	if	if	SCONJ
iajs-64	115	5	(	(	PUNCT
iajs-64	115	6	x	x	X
iajs-64	115	7	,	,	PUNCT
iajs-64	115	8	τ	τ	X
iajs-64	115	9	)	)	PUNCT
iajs-64	115	10	is	be	AUX
iajs-64	115	11	door	door	NOUN
iajs-64	115	12	space	space	NOUN
iajs-64	115	13	,	,	PUNCT
iajs-64	115	14	then	then	ADV
iajs-64	115	15	every	every	DET
iajs-64	115	16	pre	pre	ADJ
iajs-64	115	17	-	-	ADJ
iajs-64	115	18	n	n	CCONJ
iajs-64	115	19	-	-	PUNCT
iajs-64	115	20	open	open	ADJ
iajs-64	115	21	set	set	NOUN
iajs-64	115	22	is	be	AUX
iajs-64	115	23	n	n	ADV
iajs-64	115	24	-	-	ADV
iajs-64	115	25	open	open	ADJ
iajs-64	115	26	.	.	PUNCT
iajs-64	116	1	proof	proof	NOUN
iajs-64	116	2	:	:	PUNCT
iajs-64	116	3	let	let	VERB
iajs-64	116	4	a	a	PRON
iajs-64	116	5	be	be	AUX
iajs-64	116	6	pre	pre	ADJ
iajs-64	116	7	-	-	ADJ
iajs-64	116	8	n	n	CCONJ
iajs-64	116	9	-	-	PUNCT
iajs-64	116	10	open	open	ADJ
iajs-64	116	11	.	.	PUNCT
iajs-64	117	1	if	if	SCONJ
iajs-64	117	2	a	a	PRON
iajs-64	117	3	is	be	AUX
iajs-64	117	4	open	open	ADJ
iajs-64	117	5	then	then	ADV
iajs-64	117	6	it	it	PRON
iajs-64	117	7	is	be	AUX
iajs-64	117	8	n	n	ADV
iajs-64	117	9	-	-	ADV
iajs-64	117	10	open	open	ADJ
iajs-64	117	11	.	.	PUNCT
iajs-64	118	1	otherwise	otherwise	ADV
iajs-64	118	2	a	a	PRON
iajs-64	118	3	is	be	AUX
iajs-64	118	4	closed	closed	ADJ
iajs-64	118	5	,	,	PUNCT
iajs-64	118	6	then	then	ADV
iajs-64	118	7	a	a	NOUN
iajs-64	118	8	nint	nint	NOUN
iajs-64	118	9	(	(	PUNCT
iajs-64	118	10	cl	cl	INTJ
iajs-64	118	11	(	(	PUNCT
iajs-64	118	12	a	a	NOUN
iajs-64	118	13	)	)	PUNCT
iajs-64	118	14	)	)	PUNCT
iajs-64	119	1	=	=	PRON
iajs-64	119	2	nint	nint	NOUN
iajs-64	119	3	(	(	PUNCT
iajs-64	119	4	a)a	a)a	PROPN
iajs-64	119	5	,	,	PUNCT
iajs-64	119	6	then	then	ADV
iajs-64	119	7	by	by	ADP
iajs-64	119	8	proposition(2.6(2	proposition(2.6(2	PROPN
iajs-64	119	9	)	)	PUNCT
iajs-64	119	10	)	)	PUNCT
iajs-64	120	1	a	a	PRON
iajs-64	120	2	is	be	AUX
iajs-64	120	3	n	n	ADV
iajs-64	120	4	-	-	PUNCT
iajs-64	120	5	open	open	ADJ
iajs-64	120	6	.	.	PUNCT
iajs-64	121	1	proposition	proposition	NOUN
iajs-64	121	2	2.20	2.20	NUM
iajs-64	121	3	:	:	PUNCT
iajs-64	121	4	let	let	VERB
iajs-64	121	5	(	(	PUNCT
iajs-64	121	6	x	x	X
iajs-64	121	7	,	,	PUNCT
iajs-64	121	8	τ	τ	X
iajs-64	121	9	)	)	PUNCT
iajs-64	121	10	be	be	VERB
iajs-64	121	11	a	a	DET
iajs-64	121	12	topological	topological	ADJ
iajs-64	121	13	space	space	NOUN
iajs-64	121	14	.	.	PUNCT
iajs-64	122	1	and	and	CCONJ
iajs-64	122	2	let	let	VERB
iajs-64	122	3	a	a	DET
iajs-64	122	4	be	be	AUX
iajs-64	122	5	b	b	NUM
iajs-64	122	6	-	-	PUNCT
iajs-64	122	7	n	n	CCONJ
iajs-64	122	8	-	-	PUNCT
iajs-64	122	9	open	open	NOUN
iajs-64	122	10	such	such	ADJ
iajs-64	122	11	that	that	DET
iajs-64	122	12	nint	nint	NOUN
iajs-64	122	13	(	(	PUNCT
iajs-64	122	14	a)=	a)=	NOUN
iajs-64	122	15	,	,	PUNCT
iajs-64	122	16	then	then	ADV
iajs-64	122	17	a	a	PRON
iajs-64	122	18	is	be	AUX
iajs-64	122	19	pre	pre	ADJ
iajs-64	122	20	-	-	ADJ
iajs-64	122	21	n	n	CCONJ
iajs-64	122	22	-	-	PUNCT
iajs-64	122	23	open	open	ADJ
iajs-64	122	24	.	.	PUNCT
iajs-64	123	1	proof	proof	NOUN
iajs-64	123	2	it	it	PRON
iajs-64	123	3	is	be	AUX
iajs-64	123	4	clear	clear	ADJ
iajs-64	123	5	lemma	lemma	PROPN
iajs-64	123	6	2.21[10	2.21[10	NUM
iajs-64	123	7	]	]	PUNCT
iajs-64	123	8	:	:	PUNCT
iajs-64	123	9	let	let	VERB
iajs-64	123	10	(	(	PUNCT
iajs-64	123	11	x	x	X
iajs-64	123	12	,	,	PUNCT
iajs-64	123	13	τ	τ	X
iajs-64	123	14	)	)	PUNCT
iajs-64	123	15	be	be	VERB
iajs-64	123	16	a	a	DET
iajs-64	123	17	topological	topological	ADJ
iajs-64	123	18	space	space	NOUN
iajs-64	123	19	.	.	PUNCT
iajs-64	124	1	and	and	CCONJ
iajs-64	124	2	u	u	PRON
iajs-64	124	3	be	be	VERB
iajs-64	124	4	an	an	DET
iajs-64	124	5	open	open	ADJ
iajs-64	124	6	set	set	NOUN
iajs-64	124	7	of	of	ADP
iajs-64	124	8	x	x	NOUN
iajs-64	124	9	,	,	PUNCT
iajs-64	124	10	then	then	ADV
iajs-64	124	11	cl	cl	INTJ
iajs-64	124	12	(	(	PUNCT
iajs-64	124	13	u	u	PROPN
iajs-64	124	14	a)=	a)=	ADJ
iajs-64	124	15	cl	cl	NOUN
iajs-64	124	16	(	(	PUNCT
iajs-64	124	17	u	u	PROPN
iajs-64	124	18	cl	cl	NOUN
iajs-64	124	19	(	(	PUNCT
iajs-64	124	20	a	a	NOUN
iajs-64	124	21	)	)	PUNCT
iajs-64	124	22	)	)	PUNCT
iajs-64	124	23	and	and	CCONJ
iajs-64	124	24	hence	hence	ADV
iajs-64	124	25	u	u	PROPN
iajs-64	124	26	cl	cl	NOUN
iajs-64	124	27	(	(	PUNCT
iajs-64	124	28	a)	a)	ADJ
iajs-64	124	29	cl	cl	NOUN
iajs-64	124	30	(	(	PUNCT
iajs-64	124	31	ua	ua	PROPN
iajs-64	124	32	)	)	PUNCT
iajs-64	124	33	for	for	ADP
iajs-64	124	34	any	any	DET
iajs-64	124	35	subset	subset	NOUN
iajs-64	124	36	a	a	PRON
iajs-64	124	37	of	of	ADP
iajs-64	124	38	x.	x.	NOUN
iajs-64	124	39	proposition	proposition	NOUN
iajs-64	124	40	2.22	2.22	NUM
iajs-64	124	41	:	:	PUNCT
iajs-64	124	42	a	a	DET
iajs-64	124	43	subset	subset	ADJ
iajs-64	124	44	u	u	NOUN
iajs-64	124	45	of	of	ADP
iajs-64	124	46	a	a	DET
iajs-64	124	47	topological	topological	ADJ
iajs-64	124	48	space	space	NOUN
iajs-64	124	49	(	(	PUNCT
iajs-64	124	50	x	x	X
iajs-64	124	51	,	,	PUNCT
iajs-64	124	52	τ	τ	X
iajs-64	124	53	)	)	PUNCT
iajs-64	124	54	is	be	AUX
iajs-64	124	55	pre	pre	ADJ
iajs-64	124	56	-	-	ADJ
iajs-64	124	57	n	n	CCONJ
iajs-64	124	58	-	-	PUNCT
iajs-64	124	59	open	open	ADJ
iajs-64	124	60	set	set	NOUN
iajs-64	124	61	iff	iff	PROPN
iajs-64	124	62	there	there	PRON
iajs-64	124	63	exists	exist	VERB
iajs-64	124	64	a	a	DET
iajs-64	124	65	pre	pre	ADJ
iajs-64	124	66	-	-	ADJ
iajs-64	124	67	n	n	CCONJ
iajs-64	124	68	-	-	PUNCT
iajs-64	124	69	open	open	NOUN
iajs-64	124	70	set	set	VERB
iajs-64	124	71	a	a	DET
iajs-64	124	72	such	such	ADJ
iajs-64	124	73	that	that	SCONJ
iajs-64	124	74	ua	ua	PROPN
iajs-64	124	75	cl	cl	NOUN
iajs-64	124	76	(	(	PUNCT
iajs-64	124	77	u	u	NOUN
iajs-64	124	78	)	)	PUNCT
iajs-64	124	79	.	.	PUNCT
iajs-64	125	1	proof	proof	NOUN
iajs-64	125	2	since	since	SCONJ
iajs-64	125	3	ua	ua	ADP
iajs-64	125	4	nint	nint	NOUN
iajs-64	125	5	(	(	PUNCT
iajs-64	125	6	cl	cl	INTJ
iajs-64	125	7	(	(	PUNCT
iajs-64	125	8	a	a	NOUN
iajs-64	125	9	)	)	PUNCT
iajs-64	125	10	)	)	PUNCT
iajs-64	125	11	,	,	PUNCT
iajs-64	125	12	also	also	ADV
iajs-64	125	13	cl	cl	X
iajs-64	125	14	(	(	PUNCT
iajs-64	125	15	a	a	NOUN
iajs-64	125	16	)	)	PUNCT
iajs-64	125	17			ADJ
iajs-64	125	18	cl	cl	NOUN
iajs-64	125	19	(	(	PUNCT
iajs-64	125	20	cl	cl	INTJ
iajs-64	125	21	(	(	PUNCT
iajs-64	125	22	u))=	u))=	ADJ
iajs-64	125	23	cl	cl	NOUN
iajs-64	125	24	(	(	PUNCT
iajs-64	125	25	u	u	NOUN
iajs-64	125	26	)	)	PUNCT
iajs-64	125	27	,	,	PUNCT
iajs-64	125	28	and	and	CCONJ
iajs-64	125	29	by	by	ADP
iajs-64	125	30	proposition(2.6(5	proposition(2.6(5	PROPN
iajs-64	125	31	)	)	PUNCT
iajs-64	125	32	)	)	PUNCT
iajs-64	126	1	we	we	PRON
iajs-64	126	2	have	have	VERB
iajs-64	126	3	nint	nint	NOUN
iajs-64	126	4	(	(	PUNCT
iajs-64	126	5	cl	cl	INTJ
iajs-64	126	6	(	(	PUNCT
iajs-64	126	7	a	a	NOUN
iajs-64	126	8	)	)	PUNCT
iajs-64	126	9	)	)	PUNCT
iajs-64	126	10			PROPN
iajs-64	126	11	nint	nint	NOUN
iajs-64	126	12	(	(	PUNCT
iajs-64	126	13	cl	cl	INTJ
iajs-64	126	14	(	(	PUNCT
iajs-64	126	15	u	u	NOUN
iajs-64	126	16	)	)	PUNCT
iajs-64	126	17	)	)	PUNCT
iajs-64	126	18	,	,	PUNCT
iajs-64	126	19	that	that	PRON
iajs-64	126	20	is	be	AUX
iajs-64	126	21	u	u	PROPN
iajs-64	126	22	nint	nint	NOUN
iajs-64	126	23	(	(	PUNCT
iajs-64	126	24	cl	cl	INTJ
iajs-64	126	25	(	(	PUNCT
iajs-64	126	26	u	u	NOUN
iajs-64	126	27	)	)	PUNCT
iajs-64	126	28	)	)	PUNCT
iajs-64	126	29	,	,	PUNCT
iajs-64	126	30	hence	hence	ADV
iajs-64	126	31	u	u	NOUN
iajs-64	126	32	is	be	AUX
iajs-64	126	33	pre	pre	ADJ
iajs-64	126	34	-	-	ADJ
iajs-64	126	35	n	n	CCONJ
iajs-64	126	36	-	-	PUNCT
iajs-64	126	37	open	open	ADJ
iajs-64	126	38	set	set	NOUN
iajs-64	126	39	.	.	PUNCT
iajs-64	127	1	conversely	conversely	ADV
iajs-64	127	2	:	:	PUNCT
iajs-64	127	3	suppose	suppose	VERB
iajs-64	127	4	that	that	SCONJ
iajs-64	127	5	u	u	PROPN
iajs-64	127	6	is	be	AUX
iajs-64	127	7	pre	pre	ADJ
iajs-64	127	8	-	-	ADJ
iajs-64	127	9	n	n	CCONJ
iajs-64	127	10	-	-	PUNCT
iajs-64	127	11	open	open	ADJ
iajs-64	127	12	.	.	PUNCT
iajs-64	128	1	if	if	SCONJ
iajs-64	128	2	we	we	PRON
iajs-64	128	3	take	take	VERB
iajs-64	128	4	a	a	DET
iajs-64	128	5	=	=	NOUN
iajs-64	128	6	u	u	NOUN
iajs-64	128	7	,	,	PUNCT
iajs-64	128	8	then	then	ADV
iajs-64	128	9	a	a	PRON
iajs-64	128	10	is	be	AUX
iajs-64	128	11	pre	pre	ADJ
iajs-64	128	12	-	-	ADJ
iajs-64	128	13	n	n	CCONJ
iajs-64	128	14	-	-	PUNCT
iajs-64	128	15	open	open	NOUN
iajs-64	128	16	set	set	NOUN
iajs-64	128	17	such	such	ADJ
iajs-64	128	18	that	that	SCONJ
iajs-64	128	19	ua	ua	PROPN
iajs-64	128	20	cl	cl	NOUN
iajs-64	128	21	(	(	PUNCT
iajs-64	128	22	u	u	NOUN
iajs-64	128	23	)	)	PUNCT
iajs-64	128	24	.	.	PUNCT
iajs-64	129	1	272	272	NUM
iajs-64	129	2	|	|	ADV
iajs-64	129	3	mathematics	mathematic	NOUN
iajs-64	129	4	2016	2016	NUM
iajs-64	129	5	)	)	PUNCT
iajs-64	129	6	عام	عام	ADP
iajs-64	129	7	1العدد	1العدد	NUM
iajs-64	129	8	(	(	PUNCT
iajs-64	129	9	29لمجلد	29لمجلد	NUM
iajs-64	129	10	ا	ا	X
iajs-64	129	11	مجلة	مجلة	NOUN
iajs-64	129	12	إبن	إبن	VERB
iajs-64	129	13	الهيثم	الهيثم	ADJ
iajs-64	129	14	للعلوم	للعلوم	NOUN
iajs-64	129	15	الصرفة	الصرفة	NOUN
iajs-64	130	1	و	و	PRON
iajs-64	130	2	التطبيقية	التطبيقية	ADJ
iajs-64	130	3	ibn	ibn	PROPN
iajs-64	130	4	al	al	PROPN
iajs-64	130	5	-	-	PUNCT
iajs-64	130	6	haitham	haitham	PROPN
iajs-64	130	7	j.	j.	PROPN
iajs-64	130	8	for	for	ADP
iajs-64	130	9	pure	pure	PROPN
iajs-64	130	10	&	&	CCONJ
iajs-64	130	11	appl	appl	PROPN
iajs-64	130	12	.	.	PUNCT
iajs-64	131	1	sci	sci	PROPN
iajs-64	131	2	.	.	PUNCT
iajs-64	132	1	vol.29	vol.29	PROPN
iajs-64	132	2	(	(	PUNCT
iajs-64	132	3	1	1	NUM
iajs-64	132	4	)	)	SYM
iajs-64	132	5	2016	2016	NUM
iajs-64	132	6	proposition	proposition	NOUN
iajs-64	132	7	2.23	2.23	NUM
iajs-64	132	8	:	:	PUNCT
iajs-64	132	9	a	a	DET
iajs-64	132	10	subset	subset	NOUN
iajs-64	132	11	a	a	PRON
iajs-64	132	12	of	of	ADP
iajs-64	132	13	a	a	DET
iajs-64	132	14	topological	topological	ADJ
iajs-64	132	15	space	space	NOUN
iajs-64	132	16	(	(	PUNCT
iajs-64	132	17	x	x	X
iajs-64	132	18	,	,	PUNCT
iajs-64	132	19	τ	τ	X
iajs-64	132	20	)	)	PUNCT
iajs-64	132	21	is	be	AUX
iajs-64	132	22	semi	semi	ADV
iajs-64	132	23	open	open	ADJ
iajs-64	132	24	iff	iff	PROPN
iajs-64	132	25	a	a	DET
iajs-64	132	26	is	is	NOUN
iajs-64	132	27	-n	-n	NOUN
iajs-64	132	28	-	-	NOUN
iajs-64	132	29	open	open	ADJ
iajs-64	132	30	and	and	CCONJ
iajs-64	132	31	nint	nint	NOUN
iajs-64	132	32	(	(	PUNCT
iajs-64	132	33	cl	cl	INTJ
iajs-64	132	34	(	(	PUNCT
iajs-64	132	35	a))	a))	NOUN
iajs-64	132	36	cl	cl	NOUN
iajs-64	132	37	(	(	PUNCT
iajs-64	132	38	int	int	NOUN
iajs-64	132	39	(	(	PUNCT
iajs-64	132	40	a	a	NOUN
iajs-64	132	41	)	)	PUNCT
iajs-64	132	42	)	)	PUNCT
iajs-64	132	43	.	.	PUNCT
iajs-64	133	1	proof	proof	NOUN
iajs-64	133	2	let	let	VERB
iajs-64	133	3	a	a	PRON
iajs-64	133	4	be	be	AUX
iajs-64	133	5	semi	semi	ADV
iajs-64	133	6	open	open	ADJ
iajs-64	133	7	set	set	NOUN
iajs-64	133	8	,	,	PUNCT
iajs-64	133	9	then	then	ADV
iajs-64	133	10	a	a	NOUN
iajs-64	133	11	cl	cl	NOUN
iajs-64	133	12	(	(	PUNCT
iajs-64	133	13	int	int	NOUN
iajs-64	133	14	(	(	PUNCT
iajs-64	133	15	a	a	NOUN
iajs-64	133	16	)	)	PUNCT
iajs-64	133	17	)	)	PUNCT
iajs-64	134	1			PROPN
iajs-64	134	2	cl	cl	NOUN
iajs-64	134	3	(	(	PUNCT
iajs-64	134	4	nint	nint	NOUN
iajs-64	134	5	(	(	PUNCT
iajs-64	134	6	a	a	NOUN
iajs-64	134	7	)	)	PUNCT
iajs-64	134	8	)	)	PUNCT
iajs-64	134	9			PROPN
iajs-64	134	10	cl	cl	NOUN
iajs-64	134	11	(	(	PUNCT
iajs-64	134	12	nint	nint	NOUN
iajs-64	134	13	(	(	PUNCT
iajs-64	134	14	cl	cl	INTJ
iajs-64	134	15	(	(	PUNCT
iajs-64	134	16	a	a	NOUN
iajs-64	134	17	)	)	PUNCT
iajs-64	134	18	)	)	PUNCT
iajs-64	134	19	)	)	PUNCT
iajs-64	134	20	(	(	PUNCT
iajs-64	134	21	by	by	ADP
iajs-64	134	22	proposition	proposition	NOUN
iajs-64	134	23	(	(	PUNCT
iajs-64	134	24	2.9(1	2.9(1	NUM
iajs-64	134	25	)	)	PUNCT
iajs-64	134	26	)	)	PUNCT
iajs-64	134	27	,	,	PUNCT
iajs-64	134	28	hence	hence	ADV
iajs-64	134	29	a	a	PRON
iajs-64	134	30	is	be	AUX
iajs-64	134	31			NOUN
iajs-64	134	32	-n	-n	NOUN
iajs-64	134	33	-	-	NOUN
iajs-64	134	34	open	open	ADJ
iajs-64	134	35	.	.	PUNCT
iajs-64	135	1	now	now	ADV
iajs-64	135	2	,	,	PUNCT
iajs-64	135	3	cl	cl	INTJ
iajs-64	135	4	(	(	PUNCT
iajs-64	135	5	a	a	NOUN
iajs-64	135	6	)	)	PUNCT
iajs-64	135	7			ADJ
iajs-64	135	8	cl	cl	NOUN
iajs-64	135	9	(	(	PUNCT
iajs-64	135	10	int	int	NOUN
iajs-64	135	11	(	(	PUNCT
iajs-64	135	12	a	a	NOUN
iajs-64	135	13	)	)	PUNCT
iajs-64	135	14	)	)	PUNCT
iajs-64	135	15	,	,	PUNCT
iajs-64	135	16	then	then	ADV
iajs-64	135	17	nint	nint	VERB
iajs-64	135	18	(	(	PUNCT
iajs-64	135	19	cl	cl	INTJ
iajs-64	135	20	(	(	PUNCT
iajs-64	135	21	a	a	NOUN
iajs-64	135	22	)	)	PUNCT
iajs-64	135	23	)	)	PUNCT
iajs-64	135	24			PROPN
iajs-64	135	25	cl	cl	NOUN
iajs-64	135	26	(	(	PUNCT
iajs-64	135	27	int	int	NOUN
iajs-64	135	28	(	(	PUNCT
iajs-64	135	29	a	a	NOUN
iajs-64	135	30	)	)	PUNCT
iajs-64	135	31	)	)	PUNCT
iajs-64	135	32	(	(	PUNCT
iajs-64	135	33	by	by	ADP
iajs-64	135	34	proposition	proposition	NOUN
iajs-64	135	35	(	(	PUNCT
iajs-64	135	36	2.9(1	2.9(1	NUM
iajs-64	135	37	)	)	PUNCT
iajs-64	135	38	)	)	PUNCT
iajs-64	135	39	.	.	PUNCT
iajs-64	136	1	conversely	conversely	ADV
iajs-64	136	2	:	:	PUNCT
iajs-64	136	3	a	a	NOUN
iajs-64	136	4	cl	cl	NOUN
iajs-64	136	5	(	(	PUNCT
iajs-64	136	6	nint	nint	NOUN
iajs-64	136	7	(	(	PUNCT
iajs-64	136	8	cl	cl	INTJ
iajs-64	136	9	(	(	PUNCT
iajs-64	136	10	a	a	NOUN
iajs-64	136	11	)	)	PUNCT
iajs-64	136	12	)	)	PUNCT
iajs-64	136	13	)	)	PUNCT
iajs-64	137	1			PROPN
iajs-64	137	2	cl	cl	NOUN
iajs-64	137	3	(	(	PUNCT
iajs-64	137	4	cl	cl	INTJ
iajs-64	137	5	(	(	PUNCT
iajs-64	137	6	int	int	NOUN
iajs-64	137	7	(	(	PUNCT
iajs-64	137	8	a	a	NOUN
iajs-64	137	9	)	)	PUNCT
iajs-64	137	10	)	)	PUNCT
iajs-64	137	11	)	)	PUNCT
iajs-64	138	1	=	=	PUNCT
iajs-64	138	2	cl	cl	INTJ
iajs-64	138	3	(	(	PUNCT
iajs-64	138	4	int	int	NOUN
iajs-64	138	5	(	(	PUNCT
iajs-64	138	6	a	a	NOUN
iajs-64	138	7	)	)	PUNCT
iajs-64	138	8	)	)	PUNCT
iajs-64	138	9	,	,	PUNCT
iajs-64	138	10	hence	hence	ADV
iajs-64	138	11	a	a	PRON
iajs-64	138	12	is	be	AUX
iajs-64	138	13	semi	semi	ADV
iajs-64	138	14	open	open	ADJ
iajs-64	138	15	set	set	NOUN
iajs-64	138	16	.	.	PUNCT
iajs-64	139	1	proposition	proposition	NOUN
iajs-64	139	2	2.24	2.24	NUM
iajs-64	139	3	:	:	PUNCT
iajs-64	139	4	in	in	ADP
iajs-64	139	5	any	any	DET
iajs-64	139	6	topological	topological	ADJ
iajs-64	139	7	space	space	NOUN
iajs-64	139	8	the	the	DET
iajs-64	139	9	intersection	intersection	NOUN
iajs-64	139	10	of	of	ADP
iajs-64	139	11	a	a	DET
iajs-64	139	12			PROPN
iajs-64	139	13	-n	-n	NOUN
iajs-64	139	14	-	-	NOUN
iajs-64	139	15	open	open	ADJ
iajs-64	139	16	set	set	NOUN
iajs-64	139	17	and	and	CCONJ
iajs-64	139	18	open	open	ADJ
iajs-64	139	19	set	set	NOUN
iajs-64	139	20	is	be	AUX
iajs-64	139	21			NOUN
iajs-64	139	22	-n	-n	NOUN
iajs-64	139	23	-	-	NOUN
iajs-64	139	24	open	open	ADJ
iajs-64	139	25	.	.	PUNCT
iajs-64	140	1	proof	proof	NOUN
iajs-64	140	2	let	let	VERB
iajs-64	140	3	ube	ube	PRON
iajs-64	140	4	an	an	DET
iajs-64	140	5	open	open	ADJ
iajs-64	140	6	set	set	NOUN
iajs-64	140	7	and	and	CCONJ
iajs-64	140	8	a	a	DET
iajs-64	140	9	be	be	AUX
iajs-64	140	10	a	a	DET
iajs-64	140	11			PROPN
iajs-64	140	12	-n	-n	NOUN
iajs-64	140	13	-	-	NOUN
iajs-64	140	14	open	open	ADJ
iajs-64	140	15	since	since	SCONJ
iajs-64	140	16	every	every	DET
iajs-64	140	17	open	open	ADJ
iajs-64	140	18	set	set	NOUN
iajs-64	140	19	is	be	AUX
iajs-64	140	20	n	n	ADV
iajs-64	140	21	-	-	PUNCT
iajs-64	140	22	open	open	ADJ
iajs-64	140	23	,	,	PUNCT
iajs-64	140	24	then	then	ADV
iajs-64	140	25	by	by	ADP
iajs-64	140	26	lemma	lemma	PROPN
iajs-64	140	27	(	(	PUNCT
iajs-64	140	28	2.21	2.21	NUM
iajs-64	140	29	)	)	PUNCT
iajs-64	140	30	we	we	PRON
iajs-64	140	31	have	have	VERB
iajs-64	141	1	ua	ua	PROPN
iajs-64	141	2	u	u	PROPN
iajs-64	141	3	cl	cl	NOUN
iajs-64	141	4	(	(	PUNCT
iajs-64	141	5	nint	nint	NOUN
iajs-64	141	6	(	(	PUNCT
iajs-64	141	7	a	a	NOUN
iajs-64	141	8	)	)	PUNCT
iajs-64	141	9	)	)	PUNCT
iajs-64	141	10			PROPN
iajs-64	141	11	cl	cl	NOUN
iajs-64	141	12	(	(	PUNCT
iajs-64	141	13	u	u	PROPN
iajs-64	141	14	cl	cl	NOUN
iajs-64	141	15	(	(	PUNCT
iajs-64	141	16	nint	nint	NOUN
iajs-64	141	17	(	(	PUNCT
iajs-64	141	18	cl	cl	INTJ
iajs-64	141	19	(	(	PUNCT
iajs-64	141	20	a	a	NOUN
iajs-64	141	21	)	)	PUNCT
iajs-64	141	22	)	)	PUNCT
iajs-64	141	23	)	)	PUNCT
iajs-64	142	1	=	=	PUNCT
iajs-64	142	2	cl	cl	NOUN
iajs-64	142	3	(	(	PUNCT
iajs-64	142	4	nint	nint	NOUN
iajs-64	142	5	(	(	PUNCT
iajs-64	142	6	u	u	NOUN
iajs-64	142	7	)	)	PUNCT
iajs-64	142	8			PROPN
iajs-64	142	9	nint	nint	NOUN
iajs-64	142	10	(	(	PUNCT
iajs-64	142	11	cl	cl	INTJ
iajs-64	142	12	(	(	PUNCT
iajs-64	142	13	a	a	NOUN
iajs-64	142	14	)	)	PUNCT
iajs-64	142	15	)	)	PUNCT
iajs-64	142	16	)	)	PUNCT
iajs-64	143	1	=	=	PUNCT
iajs-64	143	2	cl	cl	NOUN
iajs-64	143	3	(	(	PUNCT
iajs-64	143	4	nint	nint	NOUN
iajs-64	143	5	(	(	PUNCT
iajs-64	143	6	u	u	PROPN
iajs-64	143	7	cl	cl	NOUN
iajs-64	143	8	(	(	PUNCT
iajs-64	143	9	a	a	NOUN
iajs-64	143	10	)	)	PUNCT
iajs-64	143	11	)	)	PUNCT
iajs-64	143	12	)	)	PUNCT
iajs-64	143	13	(	(	PUNCT
iajs-64	143	14	by	by	ADP
iajs-64	143	15	proposition	proposition	NOUN
iajs-64	143	16	2.9(7	2.9(7	NUM
iajs-64	143	17	)	)	PUNCT
iajs-64	143	18	)	)	PUNCT
iajs-64	143	19	that	that	PRON
iajs-64	143	20	is	be	AUX
iajs-64	143	21	ua	ua	PROPN
iajs-64	143	22	u	u	PROPN
iajs-64	143	23	cl	cl	NOUN
iajs-64	143	24	(	(	PUNCT
iajs-64	143	25	nint	nint	NOUN
iajs-64	143	26	(	(	PUNCT
iajs-64	143	27	a	a	NOUN
iajs-64	143	28	)	)	PUNCT
iajs-64	143	29	)	)	PUNCT
iajs-64	143	30			PROPN
iajs-64	143	31	cl	cl	NOUN
iajs-64	143	32	(	(	PUNCT
iajs-64	143	33	nint	nint	NOUN
iajs-64	143	34	(	(	PUNCT
iajs-64	143	35	cl	cl	INTJ
iajs-64	143	36	(	(	PUNCT
iajs-64	143	37	ua	ua	PROPN
iajs-64	143	38	)	)	PUNCT
iajs-64	143	39	)	)	PUNCT
iajs-64	143	40	)	)	PUNCT
iajs-64	143	41	.	.	PUNCT
iajs-64	144	1	hence	hence	ADV
iajs-64	144	2	u	u	PROPN
iajs-64	144	3	a	a	PRON
iajs-64	144	4	is	be	AUX
iajs-64	144	5			NOUN
iajs-64	144	6	-n	-n	NOUN
iajs-64	144	7	-	-	NOUN
iajs-64	144	8	open	open	ADJ
iajs-64	144	9	.	.	PUNCT
iajs-64	145	1	proposition	proposition	NOUN
iajs-64	145	2	2.25	2.25	NUM
iajs-64	145	3	:	:	PUNCT
iajs-64	145	4	in	in	ADP
iajs-64	145	5	any	any	DET
iajs-64	145	6	topological	topological	ADJ
iajs-64	145	7	space	space	NOUN
iajs-64	145	8	the	the	DET
iajs-64	145	9	intersection	intersection	NOUN
iajs-64	145	10	of	of	ADP
iajs-64	145	11	a	a	DET
iajs-64	145	12	b	b	NOUN
iajs-64	145	13	-	-	PUNCT
iajs-64	145	14	n	n	CCONJ
iajs-64	145	15	-	-	PUNCT
iajs-64	145	16	open	open	NOUN
iajs-64	145	17	set	set	NOUN
iajs-64	145	18	and	and	CCONJ
iajs-64	145	19	an	an	DET
iajs-64	145	20	open	open	ADJ
iajs-64	145	21	set	set	NOUN
iajs-64	145	22	is	be	AUX
iajs-64	145	23	b	b	NUM
iajs-64	145	24	-	-	PUNCT
iajs-64	145	25	n	n	CCONJ
iajs-64	145	26	-	-	PUNCT
iajs-64	145	27	open	open	ADJ
iajs-64	145	28	.	.	PUNCT
iajs-64	146	1	proof	proof	NOUN
iajs-64	146	2	let	let	VERB
iajs-64	146	3	a	a	PRON
iajs-64	146	4	be	be	AUX
iajs-64	146	5	a	a	DET
iajs-64	146	6	b	b	NOUN
iajs-64	146	7	-	-	PUNCT
iajs-64	146	8	n	n	CCONJ
iajs-64	146	9	-	-	PUNCT
iajs-64	146	10	open	open	ADJ
iajs-64	146	11	and	and	CCONJ
iajs-64	146	12	u	u	NOUN
iajs-64	146	13	be	be	VERB
iajs-64	146	14	an	an	DET
iajs-64	146	15	open	open	ADJ
iajs-64	146	16	set	set	NOUN
iajs-64	146	17	,	,	PUNCT
iajs-64	146	18	then	then	ADV
iajs-64	146	19	ua	ua	ADJ
iajs-64	146	20			PROPN
iajs-64	146	21	u	u	PROPN
iajs-64	146	22			X
iajs-64	146	23	[	[	PUNCT
iajs-64	146	24	nint	nint	NOUN
iajs-64	146	25	(	(	PUNCT
iajs-64	146	26	cl	cl	INTJ
iajs-64	146	27	(	(	PUNCT
iajs-64	146	28	a))	a))	NOUN
iajs-64	146	29	cl	cl	NOUN
iajs-64	146	30	(	(	PUNCT
iajs-64	146	31	nint	nint	NOUN
iajs-64	146	32	(	(	PUNCT
iajs-64	146	33	a	a	NOUN
iajs-64	146	34	)	)	PUNCT
iajs-64	146	35	)	)	PUNCT
iajs-64	146	36	]	]	PUNCT
iajs-64	147	1	=	=	PUNCT
iajs-64	147	2	[	[	X
iajs-64	147	3	u	u	NOUN
iajs-64	147	4			PROPN
iajs-64	147	5	nint	nint	PROPN
iajs-64	147	6	(	(	PUNCT
iajs-64	147	7	cl	cl	INTJ
iajs-64	147	8	(	(	PUNCT
iajs-64	147	9	a	a	NOUN
iajs-64	147	10	)	)	PUNCT
iajs-64	147	11	)	)	PUNCT
iajs-64	147	12	]	]	PUNCT
iajs-64	148	1			NOUN
iajs-64	148	2	[	[	X
iajs-64	148	3	u	u	PROPN
iajs-64	148	4	cl	cl	NOUN
iajs-64	148	5	(	(	PUNCT
iajs-64	148	6	nint	nint	NOUN
iajs-64	148	7	(	(	PUNCT
iajs-64	148	8	a	a	NOUN
iajs-64	148	9	)	)	PUNCT
iajs-64	148	10	)	)	PUNCT
iajs-64	148	11	]	]	PUNCT
iajs-64	149	1	=	=	PUNCT
iajs-64	149	2	[	[	PUNCT
iajs-64	149	3	nint	nint	NOUN
iajs-64	149	4	(	(	PUNCT
iajs-64	149	5	u)	u)	ADJ
iajs-64	149	6	nint	nint	NOUN
iajs-64	149	7	(	(	PUNCT
iajs-64	149	8	cl	cl	INTJ
iajs-64	149	9	(	(	PUNCT
iajs-64	149	10	a	a	NOUN
iajs-64	149	11	)	)	PUNCT
iajs-64	149	12	)	)	PUNCT
iajs-64	149	13	]	]	PUNCT
iajs-64	150	1			NOUN
iajs-64	150	2	[	[	X
iajs-64	150	3	u	u	PROPN
iajs-64	150	4	cl	cl	NOUN
iajs-64	150	5	(	(	PUNCT
iajs-64	150	6	nint	nint	NOUN
iajs-64	150	7	(	(	PUNCT
iajs-64	150	8	a	a	NOUN
iajs-64	150	9	)	)	PUNCT
iajs-64	150	10	)	)	PUNCT
iajs-64	150	11	]	]	PUNCT
iajs-64	151	1			PROPN
iajs-64	151	2	[	[	PUNCT
iajs-64	151	3	nint	nint	NOUN
iajs-64	151	4	(	(	PUNCT
iajs-64	151	5	u	u	PROPN
iajs-64	151	6	cl	cl	NOUN
iajs-64	151	7	(	(	PUNCT
iajs-64	151	8	a	a	NOUN
iajs-64	151	9	)	)	PUNCT
iajs-64	151	10	)	)	PUNCT
iajs-64	151	11	]	]	PUNCT
iajs-64	152	1			NOUN
iajs-64	152	2	[	[	PUNCT
iajs-64	152	3	cl	cl	NOUN
iajs-64	152	4	(	(	PUNCT
iajs-64	152	5	u	u	PROPN
iajs-64	152	6	nint	nint	NOUN
iajs-64	152	7	(	(	PUNCT
iajs-64	152	8	a	a	NOUN
iajs-64	152	9	)	)	PUNCT
iajs-64	152	10	)	)	PUNCT
iajs-64	152	11	]	]	PUNCT
iajs-64	152	12			PROPN
iajs-64	152	13	nint	nint	NOUN
iajs-64	152	14	(	(	PUNCT
iajs-64	152	15	cl	cl	INTJ
iajs-64	152	16	(	(	PUNCT
iajs-64	152	17	ua))	ua))	PROPN
iajs-64	152	18	cl	cl	INTJ
iajs-64	152	19	(	(	PUNCT
iajs-64	152	20	nint	nint	NOUN
iajs-64	152	21	(	(	PUNCT
iajs-64	152	22	ua	ua	PROPN
iajs-64	152	23	)	)	PUNCT
iajs-64	152	24	)	)	PUNCT
iajs-64	152	25	.	.	PUNCT
iajs-64	153	1	hence	hence	ADV
iajs-64	153	2	ua	ua	PROPN
iajs-64	153	3	is	be	AUX
iajs-64	153	4	b	b	NUM
iajs-64	153	5	-	-	PUNCT
iajs-64	153	6	n	n	CCONJ
iajs-64	153	7	-	-	PUNCT
iajs-64	153	8	open	open	ADJ
iajs-64	153	9	.	.	PUNCT
iajs-64	154	1	proposition	proposition	NOUN
iajs-64	154	2	2.26	2.26	NUM
iajs-64	154	3	:	:	PUNCT
iajs-64	154	4	in	in	ADP
iajs-64	154	5	any	any	DET
iajs-64	154	6	topological	topological	ADJ
iajs-64	154	7	space	space	NOUN
iajs-64	154	8	the	the	DET
iajs-64	154	9	intersection	intersection	NOUN
iajs-64	154	10	of	of	ADP
iajs-64	154	11	a	a	DET
iajs-64	154	12			NOUN
iajs-64	154	13	-n	-n	X
iajs-64	154	14	-	-	ADJ
iajs-64	154	15	open	open	ADJ
iajs-64	154	16	set	set	NOUN
iajs-64	154	17	and	and	CCONJ
iajs-64	154	18	an	an	DET
iajs-64	154	19	open	open	ADJ
iajs-64	154	20	set	set	NOUN
iajs-64	154	21	is	be	AUX
iajs-64	154	22			X
iajs-64	154	23	-n	-n	X
iajs-64	154	24	-	-	NOUN
iajs-64	154	25	open	open	ADJ
iajs-64	154	26	.	.	PUNCT
iajs-64	155	1	proof	proof	NOUN
iajs-64	155	2	:	:	PUNCT
iajs-64	155	3	let	let	VERB
iajs-64	155	4	a	a	PRON
iajs-64	155	5	be	be	AUX
iajs-64	155	6	an	an	DET
iajs-64	155	7			NOUN
iajs-64	155	8	-n	-n	X
iajs-64	155	9	-	-	ADJ
iajs-64	155	10	open	open	ADJ
iajs-64	155	11	set	set	NOUN
iajs-64	155	12	and	and	CCONJ
iajs-64	155	13	u	u	NOUN
iajs-64	155	14	be	be	VERB
iajs-64	155	15	an	an	DET
iajs-64	155	16	open	open	ADJ
iajs-64	155	17	set	set	NOUN
iajs-64	155	18	,	,	PUNCT
iajs-64	155	19	then	then	ADV
iajs-64	155	20	ua	ua	PROPN
iajs-64	155	21	nint	nint	NOUN
iajs-64	155	22	(	(	PUNCT
iajs-64	155	23	u	u	NOUN
iajs-64	155	24	)	)	PUNCT
iajs-64	155	25			PROPN
iajs-64	155	26	nint	nint	NOUN
iajs-64	155	27	(	(	PUNCT
iajs-64	155	28	cl	cl	INTJ
iajs-64	155	29	(	(	PUNCT
iajs-64	155	30	nint	nint	NOUN
iajs-64	155	31	(	(	PUNCT
iajs-64	155	32	a	a	NOUN
iajs-64	155	33	)	)	PUNCT
iajs-64	155	34	)	)	PUNCT
iajs-64	155	35	)	)	PUNCT
iajs-64	156	1			PROPN
iajs-64	156	2	nint	nint	NOUN
iajs-64	156	3	(	(	PUNCT
iajs-64	156	4	u	u	PROPN
iajs-64	156	5	cl	cl	NOUN
iajs-64	156	6	(	(	PUNCT
iajs-64	156	7	nint	nint	NOUN
iajs-64	156	8	(	(	PUNCT
iajs-64	156	9	a	a	NOUN
iajs-64	156	10	)	)	PUNCT
iajs-64	156	11	)	)	PUNCT
iajs-64	156	12	)	)	PUNCT
iajs-64	157	1			PROPN
iajs-64	157	2	nint	nint	NOUN
iajs-64	157	3	(	(	PUNCT
iajs-64	157	4	cl	cl	INTJ
iajs-64	157	5	(	(	PUNCT
iajs-64	157	6	u	u	PROPN
iajs-64	157	7	nint	nint	NOUN
iajs-64	157	8	(	(	PUNCT
iajs-64	157	9	a	a	NOUN
iajs-64	157	10	)	)	PUNCT
iajs-64	157	11	)	)	PUNCT
iajs-64	157	12			PROPN
iajs-64	157	13	nint	nint	NOUN
iajs-64	157	14	(	(	PUNCT
iajs-64	157	15	cl	cl	INTJ
iajs-64	157	16	(	(	PUNCT
iajs-64	157	17	nint	nint	NOUN
iajs-64	157	18	(	(	PUNCT
iajs-64	157	19	u	u	PROPN
iajs-64	157	20	a	a	X
iajs-64	157	21	)	)	PUNCT
iajs-64	157	22	)	)	PUNCT
iajs-64	157	23	)	)	PUNCT
iajs-64	157	24	.	.	PUNCT
iajs-64	158	1	therefore	therefore	ADV
iajs-64	158	2	ua	ua	PROPN
iajs-64	158	3	is	be	AUX
iajs-64	158	4			X
iajs-64	158	5	-n	-n	X
iajs-64	158	6	-	-	ADJ
iajs-64	158	7	open	open	ADJ
iajs-64	158	8	.	.	PUNCT
iajs-64	159	1	remark	remark	NOUN
iajs-64	159	2	2.27	2.27	NUM
iajs-64	159	3	:	:	PUNCT
iajs-64	159	4	the	the	DET
iajs-64	159	5	intersection	intersection	NOUN
iajs-64	159	6	of	of	ADP
iajs-64	159	7	two	two	NUM
iajs-64	159	8	pre	pre	ADJ
iajs-64	159	9	-	-	ADJ
iajs-64	159	10	n	n	CCONJ
iajs-64	159	11	-	-	PUNCT
iajs-64	159	12	open	open	ADJ
iajs-64	159	13	(	(	PUNCT
iajs-64	159	14	resp	resp	NOUN
iajs-64	159	15	.	.	PUNCT
iajs-64	160	1	b	b	X
iajs-64	160	2	-	-	PUNCT
iajs-64	160	3	n	n	CCONJ
iajs-64	160	4	-	-	PUNCT
iajs-64	160	5	open	open	ADJ
iajs-64	160	6	,	,	PUNCT
iajs-64	160	7			NOUN
iajs-64	160	8	-n	-n	NOUN
iajs-64	160	9	-	-	NOUN
iajs-64	160	10	open	open	ADJ
iajs-64	160	11	)	)	PUNCT
iajs-64	160	12	set	set	NOUN
iajs-64	160	13	need	need	AUX
iajs-64	160	14	not	not	PART
iajs-64	160	15	be	be	AUX
iajs-64	160	16	pre	pre	ADJ
iajs-64	160	17	-	-	ADJ
iajs-64	160	18	n	n	CCONJ
iajs-64	160	19	-	-	PUNCT
iajs-64	160	20	open	open	ADJ
iajs-64	160	21	(	(	PUNCT
iajs-64	160	22	resp	resp	NOUN
iajs-64	160	23	.	.	PUNCT
iajs-64	161	1	b	b	X
iajs-64	161	2	-	-	PUNCT
iajs-64	161	3	n	n	CCONJ
iajs-64	161	4	-	-	PUNCT
iajs-64	161	5	open	open	ADJ
iajs-64	161	6	,	,	PUNCT
iajs-64	161	7			NOUN
iajs-64	161	8	-n	-n	NOUN
iajs-64	161	9	-	-	NOUN
iajs-64	161	10	open	open	ADJ
iajs-64	161	11	)	)	PUNCT
iajs-64	161	12	in	in	ADP
iajs-64	161	13	general	general	ADJ
iajs-64	161	14	to	to	PART
iajs-64	161	15	show	show	VERB
iajs-64	161	16	that	that	SCONJ
iajs-64	161	17	for	for	ADP
iajs-64	161	18	pre	pre	ADJ
iajs-64	161	19	-	-	ADJ
iajs-64	161	20	n	n	CCONJ
iajs-64	161	21	-	-	PUNCT
iajs-64	161	22	open	open	NOUN
iajs-64	161	23	see	see	VERB
iajs-64	161	24	the	the	DET
iajs-64	161	25	following	follow	VERB
iajs-64	161	26	example	example	NOUN
iajs-64	161	27	.	.	PUNCT
iajs-64	162	1	example	example	NOUN
iajs-64	162	2	2.28	2.28	NUM
iajs-64	162	3	:	:	PUNCT
iajs-64	162	4	in	in	ADP
iajs-64	162	5	example	example	NOUN
iajs-64	162	6	(	(	PUNCT
iajs-64	162	7	2.7	2.7	NUM
iajs-64	162	8	)	)	PUNCT
iajs-64	162	9	let	let	VERB
iajs-64	162	10	a	a	DET
iajs-64	162	11	=	=	NOUN
iajs-64	162	12	q	q	NOUN
iajs-64	162	13	and	and	CCONJ
iajs-64	162	14	b=	b=	NOUN
iajs-64	162	15	(	(	PUNCT
iajs-64	162	16	r\q	r\q	NOUN
iajs-64	162	17	)	)	PUNCT
iajs-64	162	18			NOUN
iajs-64	162	19	{	{	PUNCT
iajs-64	162	20	1	1	NUM
iajs-64	162	21	}	}	PUNCT
iajs-64	162	22	.	.	PUNCT
iajs-64	163	1	then	then	ADV
iajs-64	163	2	a	a	PRON
iajs-64	163	3	and	and	CCONJ
iajs-64	163	4	b	b	NOUN
iajs-64	163	5	are	be	AUX
iajs-64	163	6	pre	pre	ADJ
iajs-64	163	7	-	-	ADJ
iajs-64	163	8	nopen	nopen	ADJ
iajs-64	163	9	,	,	PUNCT
iajs-64	163	10	b	b	X
iajs-64	163	11	-	-	PUNCT
iajs-64	163	12	n	n	CCONJ
iajs-64	163	13	-	-	PUNCT
iajs-64	163	14	open	open	ADJ
iajs-64	163	15	and	and	CCONJ
iajs-64	163	16			NOUN
iajs-64	163	17	-n	-n	NOUN
iajs-64	163	18	-	-	ADJ
iajs-64	163	19	open	open	ADJ
iajs-64	163	20	sets	set	NOUN
iajs-64	163	21	but	but	CCONJ
iajs-64	163	22	a	a	DET
iajs-64	163	23			NOUN
iajs-64	163	24	b=	b=	NOUN
iajs-64	163	25	{	{	PUNCT
iajs-64	163	26	1	1	NUM
iajs-64	163	27	}	}	PUNCT
iajs-64	163	28	is	be	AUX
iajs-64	163	29	not	not	PART
iajs-64	163	30	pre	pre	ADJ
iajs-64	163	31	-	-	ADJ
iajs-64	163	32	n	n	CCONJ
iajs-64	163	33	-	-	PUNCT
iajs-64	163	34	open	open	NOUN
iajs-64	163	35	set	set	NOUN
iajs-64	163	36	since	since	SCONJ
iajs-64	163	37	nint	nint	NOUN
iajs-64	163	38	(	(	PUNCT
iajs-64	163	39	cl	cl	INTJ
iajs-64	163	40	(	(	PUNCT
iajs-64	163	41	{	{	PUNCT
iajs-64	163	42	1}))=	1}))=	NUM
iajs-64	163	43			NOUN
iajs-64	163	44	a	a	DET
iajs-64	163	45			PROPN
iajs-64	163	46	b	b	PROPN
iajs-64	163	47	is	be	AUX
iajs-64	163	48	not	not	PART
iajs-64	163	49	b	b	NOUN
iajs-64	163	50	-	-	PUNCT
iajs-64	163	51	n	n	CCONJ
iajs-64	163	52	-	-	PUNCT
iajs-64	163	53	open	open	ADJ
iajs-64	163	54	since	since	SCONJ
iajs-64	163	55	nint	nint	NOUN
iajs-64	163	56	(	(	PUNCT
iajs-64	163	57	cl	cl	INTJ
iajs-64	163	58	(	(	PUNCT
iajs-64	163	59	{	{	PUNCT
iajs-64	163	60	1}))	1}))	NUM
iajs-64	163	61	cl	cl	NOUN
iajs-64	163	62	(	(	PUNCT
iajs-64	163	63	nint	nint	NOUN
iajs-64	163	64	(	(	PUNCT
iajs-64	163	65	{	{	PUNCT
iajs-64	163	66	1}))=	1}))=	NUM
iajs-64	163	67			NOUN
iajs-64	163	68			ADJ
iajs-64	163	69			NOUN
iajs-64	163	70	=	=	SYM
iajs-64	163	71			NOUN
iajs-64	163	72	.	.	PUNCT
iajs-64	164	1	a	a	DET
iajs-64	164	2			PROPN
iajs-64	164	3	b	b	NOUN
iajs-64	164	4	is	be	AUX
iajs-64	164	5	not	not	PART
iajs-64	164	6			NOUN
iajs-64	164	7	-n	-n	NOUN
iajs-64	164	8	-	-	NOUN
iajs-64	164	9	open	open	ADJ
iajs-64	164	10	since	since	SCONJ
iajs-64	164	11	cl	cl	NOUN
iajs-64	164	12	(	(	PUNCT
iajs-64	164	13	nint	nint	NOUN
iajs-64	164	14	(	(	PUNCT
iajs-64	164	15	cl	cl	INTJ
iajs-64	164	16	(	(	PUNCT
iajs-64	164	17	{	{	PUNCT
iajs-64	164	18	1})))=	1})))=	NUM
iajs-64	164	19	cl	cl	NOUN
iajs-64	164	20	(	(	PUNCT
iajs-64	164	21	nint	nint	NOUN
iajs-64	164	22	(	(	PUNCT
iajs-64	164	23	{	{	PUNCT
iajs-64	164	24	1}))=	1}))=	NUM
iajs-64	164	25	cl	cl	NOUN
iajs-64	164	26	(	(	PUNCT
iajs-64	164	27			NOUN
iajs-64	164	28	)	)	PUNCT
iajs-64	164	29	=	=	NOUN
iajs-64	164	30			NOUN
iajs-64	164	31	.	.	PUNCT
iajs-64	165	1	proposition	proposition	NOUN
iajs-64	165	2	2.29	2.29	NUM
iajs-64	165	3	:	:	PUNCT
iajs-64	165	4	in	in	ADP
iajs-64	165	5	any	any	DET
iajs-64	165	6	topological	topological	ADJ
iajs-64	165	7	space	space	NOUN
iajs-64	165	8	the	the	DET
iajs-64	165	9	union	union	NOUN
iajs-64	165	10	of	of	ADP
iajs-64	165	11	any	any	DET
iajs-64	165	12	family	family	NOUN
iajs-64	165	13	of	of	ADP
iajs-64	165	14	b	b	PROPN
iajs-64	165	15	-	-	PUNCT
iajs-64	165	16	n	n	CCONJ
iajs-64	165	17	-	-	PUNCT
iajs-64	165	18	open	open	ADJ
iajs-64	165	19	(	(	PUNCT
iajs-64	165	20	resp	resp	NOUN
iajs-64	165	21	.	.	PUNCT
iajs-64	166	1	pre	pre	ADJ
iajs-64	166	2	-	-	ADJ
iajs-64	166	3	nopen	nopen	ADJ
iajs-64	166	4	,	,	PUNCT
iajs-64	166	5			PROPN
iajs-64	166	6	-n	-n	NOUN
iajs-64	166	7	-	-	NOUN
iajs-64	166	8	open	open	ADJ
iajs-64	166	9	)	)	PUNCT
iajs-64	166	10	set	set	NOUN
iajs-64	166	11	is	be	AUX
iajs-64	166	12	b	b	NUM
iajs-64	166	13	-	-	PUNCT
iajs-64	166	14	n	n	CCONJ
iajs-64	166	15	-	-	PUNCT
iajs-64	166	16	open	open	ADJ
iajs-64	166	17	(	(	PUNCT
iajs-64	166	18	resp	resp	NOUN
iajs-64	166	19	.	.	PUNCT
iajs-64	167	1	pre	pre	ADJ
iajs-64	167	2	-	-	ADJ
iajs-64	167	3	n	n	CCONJ
iajs-64	167	4	-	-	PUNCT
iajs-64	167	5	open	open	ADJ
iajs-64	167	6	,	,	PUNCT
iajs-64	167	7			NOUN
iajs-64	167	8	-n	-n	NOUN
iajs-64	167	9	-	-	NOUN
iajs-64	167	10	open	open	ADJ
iajs-64	167	11	)	)	PUNCT
iajs-64	167	12	.	.	PUNCT
iajs-64	168	1	proof	proof	NOUN
iajs-64	168	2	:	:	PUNCT
iajs-64	168	3	let{aα	let{aα	ADV
iajs-64	168	4	}	}	PUNCT
iajs-64	168	5			PUNCT
iajs-64	168	6	be	be	AUX
iajs-64	168	7	a	a	DET
iajs-64	168	8	family	family	NOUN
iajs-64	168	9	of	of	ADP
iajs-64	168	10	b	b	PROPN
iajs-64	168	11	-	-	PUNCT
iajs-64	168	12	n	n	CCONJ
iajs-64	168	13	-	-	PUNCT
iajs-64	168	14	open	open	ADJ
iajs-64	168	15	sets	set	NOUN
iajs-64	168	16	,	,	PUNCT
iajs-64	168	17	since	since	SCONJ
iajs-64	168	18	aα	aα	NOUN
iajs-64	168	19			PROPN
iajs-64	168	20	nint	nint	NOUN
iajs-64	168	21	(	(	PUNCT
iajs-64	168	22	cl	cl	NOUN
iajs-64	168	23	(	(	PUNCT
iajs-64	168	24	aα))	aα))	PROPN
iajs-64	168	25	cl	cl	NOUN
iajs-64	168	26	(	(	PUNCT
iajs-64	168	27	nint	nint	NOUN
iajs-64	168	28	(	(	PUNCT
iajs-64	168	29	aα	aα	NOUN
iajs-64	168	30	)	)	PUNCT
iajs-64	168	31	)	)	PUNCT
iajs-64	168	32			NOUN
iajs-64	168	33	,	,	PUNCT
iajs-64	168	34	then	then	ADV
iajs-64	168	35			X
iajs-64	168	36			ADJ
iajs-64	168	37	aα	aα	NOUN
iajs-64	168	38			NOUN
iajs-64	168	39			X
iajs-64	168	40			ADJ
iajs-64	168	41	[	[	PUNCT
iajs-64	168	42	nint	nint	NOUN
iajs-64	168	43	(	(	PUNCT
iajs-64	168	44	cl	cl	INTJ
iajs-64	168	45	(	(	PUNCT
iajs-64	168	46	aα	aα	NOUN
iajs-64	168	47	)	)	PUNCT
iajs-64	168	48	)	)	PUNCT
iajs-64	169	1			ADJ
iajs-64	169	2	cl	cl	NOUN
iajs-64	169	3	(	(	PUNCT
iajs-64	169	4	nint	nint	NOUN
iajs-64	169	5	(	(	PUNCT
iajs-64	169	6	aα	aα	NOUN
iajs-64	169	7	)	)	PUNCT
iajs-64	169	8	)	)	PUNCT
iajs-64	169	9	]	]	PUNCT
iajs-64	169	10	273	273	NUM
iajs-64	169	11	|	|	ADV
iajs-64	169	12	mathematics	mathematic	NOUN
iajs-64	169	13	2016	2016	NUM
iajs-64	169	14	)	)	PUNCT
iajs-64	169	15	عام	عام	ADP
iajs-64	169	16	1العدد	1العدد	NUM
iajs-64	169	17	(	(	PUNCT
iajs-64	169	18	29لمجلد	29لمجلد	NUM
iajs-64	169	19	ا	ا	X
iajs-64	169	20	مجلة	مجلة	NOUN
iajs-64	169	21	إبن	إبن	VERB
iajs-64	169	22	الهيثم	الهيثم	ADJ
iajs-64	169	23	للعلوم	للعلوم	NOUN
iajs-64	169	24	الصرفة	الصرفة	NOUN
iajs-64	170	1	و	و	PRON
iajs-64	170	2	التطبيقية	التطبيقية	ADJ
iajs-64	170	3	ibn	ibn	PROPN
iajs-64	170	4	al	al	PROPN
iajs-64	170	5	-	-	PUNCT
iajs-64	170	6	haitham	haitham	PROPN
iajs-64	170	7	j.	j.	PROPN
iajs-64	170	8	for	for	ADP
iajs-64	170	9	pure	pure	PROPN
iajs-64	170	10	&	&	CCONJ
iajs-64	170	11	appl	appl	PROPN
iajs-64	170	12	.	.	PUNCT
iajs-64	171	1	sci	sci	PROPN
iajs-64	171	2	.	.	PUNCT
iajs-64	172	1	vol.29	vol.29	PROPN
iajs-64	172	2	(	(	PUNCT
iajs-64	172	3	1	1	NUM
iajs-64	172	4	)	)	PUNCT
iajs-64	172	5	2016	2016	NUM
iajs-64	172	6			NOUN
iajs-64	172	7	[	[	PUNCT
iajs-64	172	8			PUNCT
iajs-64	172	9			ADJ
iajs-64	172	10	nint	nint	NOUN
iajs-64	172	11	(	(	PUNCT
iajs-64	172	12	cl	cl	INTJ
iajs-64	172	13	(	(	PUNCT
iajs-64	172	14	aα	aα	NOUN
iajs-64	172	15	)	)	PUNCT
iajs-64	172	16	)	)	PUNCT
iajs-64	172	17	]	]	PUNCT
iajs-64	173	1			NOUN
iajs-64	173	2	[	[	PUNCT
iajs-64	173	3			PUNCT
iajs-64	173	4			ADJ
iajs-64	173	5	cl	cl	NOUN
iajs-64	173	6	(	(	PUNCT
iajs-64	173	7	nint	nint	NOUN
iajs-64	173	8	(	(	PUNCT
iajs-64	173	9	aα	aα	NOUN
iajs-64	173	10	)	)	PUNCT
iajs-64	173	11	)	)	PUNCT
iajs-64	173	12	]	]	PUNCT
iajs-64	174	1			PROPN
iajs-64	174	2	nint	nint	NOUN
iajs-64	174	3	(	(	PUNCT
iajs-64	174	4			PUNCT
iajs-64	174	5			ADJ
iajs-64	174	6	(	(	PUNCT
iajs-64	174	7	cl	cl	NOUN
iajs-64	174	8	(	(	PUNCT
iajs-64	174	9	aα)))	aα)))	NOUN
iajs-64	174	10	cl	cl	NOUN
iajs-64	174	11	(	(	PUNCT
iajs-64	174	12			PUNCT
iajs-64	174	13			X
iajs-64	174	14	(	(	PUNCT
iajs-64	174	15	nint	nint	NOUN
iajs-64	174	16	(	(	PUNCT
iajs-64	174	17	aα	aα	NOUN
iajs-64	174	18	)	)	PUNCT
iajs-64	174	19	)	)	PUNCT
iajs-64	174	20	)	)	PUNCT
iajs-64	174	21			PROPN
iajs-64	174	22	nint	nint	NOUN
iajs-64	174	23	(	(	PUNCT
iajs-64	174	24	cl	cl	INTJ
iajs-64	174	25	(	(	PUNCT
iajs-64	174	26			PUNCT
iajs-64	174	27			X
iajs-64	174	28	(	(	PUNCT
iajs-64	174	29	aα)))	aα)))	NUM
iajs-64	174	30	cl	cl	NOUN
iajs-64	174	31	(	(	PUNCT
iajs-64	174	32	nint	nint	NOUN
iajs-64	174	33	(	(	PUNCT
iajs-64	174	34			PUNCT
iajs-64	174	35			ADJ
iajs-64	174	36	(	(	PUNCT
iajs-64	174	37	aα	aα	NOUN
iajs-64	174	38	)	)	PUNCT
iajs-64	174	39	)	)	PUNCT
iajs-64	174	40	)	)	PUNCT
iajs-64	174	41	.	.	PUNCT
iajs-64	175	1	hence	hence	ADV
iajs-64	175	2			X
iajs-64	175	3			ADJ
iajs-64	175	4	aα	aα	NOUN
iajs-64	175	5	is	be	AUX
iajs-64	175	6	b	b	NUM
iajs-64	175	7	-	-	PUNCT
iajs-64	175	8	n	n	CCONJ
iajs-64	175	9	-	-	PUNCT
iajs-64	175	10	open	open	ADJ
iajs-64	175	11	.	.	PUNCT
iajs-64	176	1	(	(	PUNCT
iajs-64	176	2	a	a	DET
iajs-64	176	3	similar	similar	ADJ
iajs-64	176	4	proof	proof	NOUN
iajs-64	176	5	for	for	ADP
iajs-64	176	6	the	the	DET
iajs-64	176	7	other	other	ADJ
iajs-64	176	8	cases	case	NOUN
iajs-64	176	9	)	)	PUNCT
iajs-64	176	10	.	.	PUNCT
iajs-64	177	1	contra	contra	PROPN
iajs-64	177	2	n	n	CCONJ
iajs-64	177	3	-	-	PUNCT
iajs-64	177	4	continuous	continuous	ADJ
iajs-64	177	5	definition	definition	NOUN
iajs-64	177	6	3.1	3.1	NUM
iajs-64	177	7	:	:	PUNCT
iajs-64	177	8	a	a	DET
iajs-64	177	9	function	function	NOUN
iajs-64	177	10	f	f	NOUN
iajs-64	177	11	from	from	ADP
iajs-64	177	12	a	a	DET
iajs-64	177	13	topological	topological	ADJ
iajs-64	177	14	space	space	NOUN
iajs-64	177	15	(	(	PUNCT
iajs-64	177	16	x	x	X
iajs-64	177	17	,	,	PUNCT
iajs-64	177	18	τ	τ	X
iajs-64	177	19	)	)	PUNCT
iajs-64	177	20	into	into	ADP
iajs-64	177	21	a	a	DET
iajs-64	177	22	topological	topological	ADJ
iajs-64	177	23	space	space	NOUN
iajs-64	177	24	(	(	PUNCT
iajs-64	177	25	y	y	NOUN
iajs-64	177	26	,	,	PUNCT
iajs-64	177	27			NOUN
iajs-64	177	28			ADV
iajs-64	177	29	)	)	PUNCT
iajs-64	177	30	is	be	AUX
iajs-64	177	31	called	call	VERB
iajs-64	177	32	:	:	PUNCT
iajs-64	177	33	1contra	1contra	NUM
iajs-64	177	34	-	-	ADJ
iajs-64	177	35	continuous	continuous	ADJ
iajs-64	177	36	if	if	SCONJ
iajs-64	177	37	the	the	DET
iajs-64	177	38	inverse	inverse	ADJ
iajs-64	177	39	image	image	NOUN
iajs-64	177	40	of	of	ADP
iajs-64	177	41	each	each	DET
iajs-64	177	42	open	open	ADJ
iajs-64	177	43	subset	subset	NOUN
iajs-64	177	44	of	of	ADP
iajs-64	177	45	y	y	PROPN
iajs-64	177	46	is	be	AUX
iajs-64	177	47	closed	close	VERB
iajs-64	177	48	subset	subset	NOUN
iajs-64	177	49	of	of	ADP
iajs-64	177	50	x	x	PUNCT
iajs-64	178	1	[	[	X
iajs-64	178	2	11	11	NUM
iajs-64	178	3	]	]	PUNCT
iajs-64	178	4	.	.	PUNCT
iajs-64	179	1	2	2	NUM
iajs-64	179	2	-continuous	-continuous	ADJ
iajs-64	179	3	if	if	SCONJ
iajs-64	179	4	the	the	DET
iajs-64	179	5	inverse	inverse	ADJ
iajs-64	179	6	image	image	NOUN
iajs-64	179	7	of	of	ADP
iajs-64	179	8	each	each	DET
iajs-64	179	9	open	open	ADJ
iajs-64	179	10	subset	subset	NOUN
iajs-64	179	11	of	of	ADP
iajs-64	179	12	y	y	PROPN
iajs-64	179	13	is	be	AUX
iajs-64	179	14			PROPN
iajs-64	179	15	-open	-open	PROPN
iajs-64	179	16	subset	subset	NOUN
iajs-64	179	17	of	of	ADP
iajs-64	179	18	x	x	PUNCT
iajs-64	180	1	[	[	X
iajs-64	180	2	6	6	NUM
iajs-64	180	3	]	]	PUNCT
iajs-64	180	4	.	.	PUNCT
iajs-64	181	1	3contra-	3contra-	NUM
iajs-64	181	2	-continuous	-continuous	ADJ
iajs-64	181	3	if	if	SCONJ
iajs-64	181	4	the	the	DET
iajs-64	181	5	inverse	inverse	ADJ
iajs-64	181	6	image	image	NOUN
iajs-64	181	7	of	of	ADP
iajs-64	181	8	each	each	DET
iajs-64	181	9	open	open	ADJ
iajs-64	181	10	subset	subset	NOUN
iajs-64	181	11	of	of	ADP
iajs-64	181	12	y	y	PROPN
iajs-64	181	13	is	be	AUX
iajs-64	181	14			X
iajs-64	181	15	-closed	-close	VERB
iajs-64	181	16	subset	subset	NOUN
iajs-64	181	17	of	of	ADP
iajs-64	181	18	x	x	PROPN
iajs-64	182	1	[	[	X
iajs-64	182	2	13	13	NUM
iajs-64	182	3	]	]	PUNCT
iajs-64	182	4	.	.	PUNCT
iajs-64	183	1	4n	4n	NOUN
iajs-64	183	2	-	-	ADJ
iajs-64	183	3	continuous	continuous	ADJ
iajs-64	183	4	if	if	SCONJ
iajs-64	183	5	the	the	DET
iajs-64	183	6	inverse	inverse	ADJ
iajs-64	183	7	image	image	NOUN
iajs-64	183	8	of	of	ADP
iajs-64	183	9	each	each	DET
iajs-64	183	10	open	open	ADJ
iajs-64	183	11	subset	subset	NOUN
iajs-64	183	12	of	of	ADP
iajs-64	183	13	y	y	PROPN
iajs-64	183	14	is	be	AUX
iajs-64	183	15	n	n	ADV
iajs-64	183	16	-	-	PUNCT
iajs-64	183	17	open	open	ADJ
iajs-64	183	18	subset	subset	NOUN
iajs-64	183	19	of	of	ADP
iajs-64	183	20	x	x	PUNCT
iajs-64	184	1	[	[	X
iajs-64	184	2	9	9	NUM
iajs-64	184	3	]	]	PUNCT
iajs-64	184	4	.	.	PUNCT
iajs-64	185	1	5contra	5contra	NUM
iajs-64	185	2	n	n	CCONJ
iajs-64	185	3	-	-	PUNCT
iajs-64	185	4	continuous	continuous	ADJ
iajs-64	185	5	inverse	inverse	NOUN
iajs-64	185	6	image	image	NOUN
iajs-64	185	7	of	of	ADP
iajs-64	185	8	each	each	DET
iajs-64	185	9	open	open	ADJ
iajs-64	185	10	subset	subset	NOUN
iajs-64	185	11	of	of	ADP
iajs-64	185	12	y	y	PROPN
iajs-64	185	13	is	be	AUX
iajs-64	185	14	n	n	ADV
iajs-64	185	15	-	-	PUNCT
iajs-64	185	16	closed	closed	ADJ
iajs-64	185	17	subset	subset	NOUN
iajs-64	185	18	of	of	ADP
iajs-64	185	19	x.	x.	NOUN
iajs-64	185	20	since	since	SCONJ
iajs-64	185	21	every	every	DET
iajs-64	185	22	closed	close	VERB
iajs-64	185	23	set	set	NOUN
iajs-64	185	24	is	be	AUX
iajs-64	185	25	n	n	PRON
iajs-64	185	26	-	-	PUNCT
iajs-64	185	27	closed	closed	ADJ
iajs-64	185	28	,	,	PUNCT
iajs-64	185	29	then	then	ADV
iajs-64	185	30	every	every	DET
iajs-64	185	31	contra	contra	PROPN
iajs-64	185	32	continuous	continuous	ADJ
iajs-64	185	33	is	be	AUX
iajs-64	185	34	contra	contra	PROPN
iajs-64	185	35	-	-	PUNCT
iajs-64	185	36	n	n	CCONJ
iajs-64	185	37	-	-	PUNCT
iajs-64	185	38	continuous	continuous	ADJ
iajs-64	185	39	,	,	PUNCT
iajs-64	185	40	and	and	CCONJ
iajs-64	185	41	since	since	SCONJ
iajs-64	185	42	every	every	DET
iajs-64	185	43	n	n	ADV
iajs-64	185	44	-	-	PUNCT
iajs-64	185	45	closed	closed	ADJ
iajs-64	185	46	is	be	AUX
iajs-64	185	47			PROPN
iajs-64	185	48	-closed	-closed	ADJ
iajs-64	185	49	,	,	PUNCT
iajs-64	185	50	then	then	ADV
iajs-64	185	51	every	every	DET
iajs-64	185	52	contra	contra	PROPN
iajs-64	185	53	-	-	PUNCT
iajs-64	185	54	n	n	CCONJ
iajs-64	185	55	-	-	PUNCT
iajs-64	185	56	continuous	continuous	ADJ
iajs-64	185	57	is	be	AUX
iajs-64	185	58	co-	co-	NOUN
iajs-64	185	59	-continuous	-continuous	ADJ
iajs-64	185	60	.	.	PUNCT
iajs-64	186	1	but	but	CCONJ
iajs-64	186	2	in	in	ADP
iajs-64	186	3	general	general	ADJ
iajs-64	186	4	:	:	PUNCT
iajs-64	186	5	the	the	DET
iajs-64	186	6	converse	converse	NOUN
iajs-64	186	7	of	of	ADP
iajs-64	186	8	above	above	ADV
iajs-64	186	9	may	may	AUX
iajs-64	186	10	be	be	AUX
iajs-64	186	11	not	not	PART
iajs-64	186	12	true	true	ADJ
iajs-64	186	13	,	,	PUNCT
iajs-64	186	14	show	show	VERB
iajs-64	186	15	the	the	DET
iajs-64	186	16	following	follow	VERB
iajs-64	186	17	examples	example	NOUN
iajs-64	186	18	examples	example	NOUN
iajs-64	186	19	3.2	3.2	NUM
iajs-64	186	20	:	:	PUNCT
iajs-64	187	1	1let	1let	NUM
iajs-64	187	2	f	f	AUX
iajs-64	187	3	be	be	AUX
iajs-64	187	4	the	the	DET
iajs-64	187	5	identity	identity	NOUN
iajs-64	187	6	function	function	NOUN
iajs-64	187	7	from	from	ADP
iajs-64	187	8	the	the	DET
iajs-64	187	9	set	set	NOUN
iajs-64	187	10	of	of	ADP
iajs-64	187	11	natural	natural	ADJ
iajs-64	187	12	numbers	number	NOUN
iajs-64	187	13	with	with	ADP
iajs-64	187	14	indiscrete	indiscrete	ADJ
iajs-64	187	15	topology	topology	NOUN
iajs-64	187	16	onto	onto	ADP
iajs-64	187	17	itself	itself	PRON
iajs-64	187	18	with	with	ADP
iajs-64	187	19	the	the	DET
iajs-64	187	20	discrete	discrete	ADJ
iajs-64	187	21	topology	topology	NOUN
iajs-64	187	22	,	,	PUNCT
iajs-64	187	23	then	then	ADV
iajs-64	187	24	f	f	PROPN
iajs-64	187	25	is	be	AUX
iajs-64	187	26	contra	contra	PROPN
iajs-64	187	27	-	-	PUNCT
iajs-64	187	28	n	n	CCONJ
iajs-64	187	29	-	-	PUNCT
iajs-64	187	30	continuous	continuous	ADJ
iajs-64	187	31	but	but	CCONJ
iajs-64	187	32	not	not	PART
iajs-64	187	33	contracontinuous	contracontinuous	ADJ
iajs-64	187	34	.	.	PUNCT
iajs-64	188	1	2let	2let	NUM
iajs-64	188	2	f	f	PROPN
iajs-64	188	3	be	be	VERB
iajs-64	188	4	the	the	DET
iajs-64	188	5	identity	identity	NOUN
iajs-64	188	6	function	function	NOUN
iajs-64	188	7	from	from	ADP
iajs-64	188	8	the	the	DET
iajs-64	188	9	set	set	NOUN
iajs-64	188	10	of	of	ADP
iajs-64	188	11	rational	rational	ADJ
iajs-64	188	12	numbers	number	NOUN
iajs-64	188	13	with	with	ADP
iajs-64	188	14	indiscrete	indiscrete	ADJ
iajs-64	188	15	topology	topology	NOUN
iajs-64	188	16	onto	onto	ADP
iajs-64	188	17	itself	itself	PRON
iajs-64	188	18	with	with	ADP
iajs-64	188	19	the	the	DET
iajs-64	188	20	discrete	discrete	ADJ
iajs-64	188	21	topology	topology	NOUN
iajs-64	188	22	,	,	PUNCT
iajs-64	188	23	then	then	ADV
iajs-64	188	24	f	f	PROPN
iajs-64	189	1	is	is	ADV
iajs-64	189	2	-continuous	-continuous	ADJ
iajs-64	189	3	and	and	CCONJ
iajs-64	189	4	contra-	contra-	VERB
iajs-64	189	5	-continuous	-continuous	ADJ
iajs-64	189	6	but	but	CCONJ
iajs-64	189	7	f	f	PROPN
iajs-64	189	8	is	be	AUX
iajs-64	189	9	not	not	PART
iajs-64	189	10	contra	contra	PROPN
iajs-64	189	11	-	-	PUNCT
iajs-64	189	12	n	n	CCONJ
iajs-64	189	13	-	-	PUNCT
iajs-64	189	14	continuous	continuous	ADJ
iajs-64	189	15	.	.	PUNCT
iajs-64	190	1	3let	3let	NUM
iajs-64	190	2	x={1,2,3	x={1,2,3	NOUN
iajs-64	190	3	}	}	PUNCT
iajs-64	190	4	,	,	PUNCT
iajs-64	190	5	y={a	y={a	PROPN
iajs-64	190	6	,	,	PUNCT
iajs-64	190	7	b	b	NOUN
iajs-64	190	8	}	}	PUNCT
iajs-64	190	9	,	,	PUNCT
iajs-64	190	10	x	x	PROPN
iajs-64	190	11	=	=	PRON
iajs-64	190	12	{	{	PUNCT
iajs-64	190	13	x	x	NOUN
iajs-64	190	14	,	,	PUNCT
iajs-64	190	15			NOUN
iajs-64	190	16	,	,	PUNCT
iajs-64	190	17	{	{	PUNCT
iajs-64	190	18	2	2	NUM
iajs-64	190	19	}	}	PUNCT
iajs-64	190	20	}	}	PUNCT
iajs-64	190	21	and	and	CCONJ
iajs-64	190	22	y	y	PROPN
iajs-64	190	23	=	=	SYM
iajs-64	190	24	{	{	PUNCT
iajs-64	190	25	y	y	PROPN
iajs-64	190	26	,	,	PUNCT
iajs-64	190	27			NOUN
iajs-64	190	28	,	,	PUNCT
iajs-64	190	29	{	{	PUNCT
iajs-64	190	30	b	b	NOUN
iajs-64	190	31	}	}	PUNCT
iajs-64	190	32	}	}	PUNCT
iajs-64	190	33	.	.	PUNCT
iajs-64	191	1	define	define	VERB
iajs-64	191	2	f	f	PROPN
iajs-64	191	3	from	from	ADP
iajs-64	191	4	x	x	PUNCT
iajs-64	191	5	into	into	ADP
iajs-64	191	6	y	y	NOUN
iajs-64	191	7	by	by	ADP
iajs-64	191	8	f(1)=a	f(1)=a	ADJ
iajs-64	191	9	,	,	PUNCT
iajs-64	191	10	f(2)=f(3)=b	f(2)=f(3)=b	PROPN
iajs-64	191	11	,	,	PUNCT
iajs-64	191	12	then	then	ADV
iajs-64	191	13	f	f	PROPN
iajs-64	191	14	is	be	AUX
iajs-64	191	15	contra	contra	PROPN
iajs-64	191	16	-	-	PUNCT
iajs-64	191	17	n	n	CCONJ
iajs-64	191	18	-	-	PUNCT
iajs-64	191	19	continuous	continuous	ADJ
iajs-64	191	20	but	but	CCONJ
iajs-64	191	21	not	not	PART
iajs-64	191	22	continuous	continuous	ADJ
iajs-64	191	23	.	.	PUNCT
iajs-64	192	1	4	4	NUM
iajs-64	192	2	-consider	-consid	ADJ
iajs-64	192	3	the	the	DET
iajs-64	192	4	two	two	NUM
iajs-64	192	5	functions	function	NOUN
iajs-64	192	6	f	f	NOUN
iajs-64	192	7	and	and	CCONJ
iajs-64	192	8	g	g	NOUN
iajs-64	192	9	from	from	ADP
iajs-64	192	10	usual	usual	ADJ
iajs-64	192	11	topological	topological	ADJ
iajs-64	192	12	space	space	NOUN
iajs-64	192	13	into	into	ADP
iajs-64	192	14	space	space	NOUN
iajs-64	192	15	y={0,1	y={0,1	NOUN
iajs-64	192	16	}	}	PUNCT
iajs-64	192	17	with	with	ADP
iajs-64	192	18	topology	topology	NOUN
iajs-64	192	19	defined	define	VERB
iajs-64	192	20	by	by	ADP
iajs-64	192	21	y	y	PROPN
iajs-64	192	22	=	=	PROPN
iajs-64	192	23	{	{	PUNCT
iajs-64	192	24	y	y	PROPN
iajs-64	192	25	,	,	PUNCT
iajs-64	192	26			NOUN
iajs-64	192	27	,	,	PUNCT
iajs-64	192	28	{	{	PUNCT
iajs-64	192	29	0	0	NUM
iajs-64	192	30	}	}	PUNCT
iajs-64	192	31	}	}	PUNCT
iajs-64	192	32	defined	define	VERB
iajs-64	192	33	by	by	ADP
iajs-64	192	34	f(x)=	f(x)=	PROPN
iajs-64	192	35			PROPN
iajs-64	192	36			NUM
iajs-64	192	37			ADP
iajs-64	192	38			NOUN
iajs-64	192	39			NOUN
iajs-64	192	40	ax	ax	NOUN
iajs-64	192	41	arx	arx	PROPN
iajs-64	192	42	1	1	NUM
iajs-64	192	43	\0	\0	PROPN
iajs-64	192	44	g(x)=	g(x)=	NOUN
iajs-64	192	45			PROPN
iajs-64	192	46			NUM
iajs-64	192	47			ADP
iajs-64	192	48			NOUN
iajs-64	192	49			NOUN
iajs-64	192	50	ax	ax	NOUN
iajs-64	192	51	arx	arx	PROPN
iajs-64	192	52	0	0	PUNCT
iajs-64	193	1	\1	\1	PROPN
iajs-64	193	2	where	where	SCONJ
iajs-64	193	3	a	a	PRON
iajs-64	193	4	is	be	AUX
iajs-64	193	5	finite	finite	NOUN
iajs-64	193	6	set	set	VERB
iajs-64	193	7	in	in	ADP
iajs-64	193	8	r.	r.	PROPN
iajs-64	193	9	then	then	ADV
iajs-64	193	10	f	f	PROPN
iajs-64	193	11	is	be	AUX
iajs-64	193	12	continuous	continuous	ADJ
iajs-64	193	13	but	but	CCONJ
iajs-64	193	14	not	not	PART
iajs-64	193	15	contra	contra	PROPN
iajs-64	193	16	-	-	PUNCT
iajs-64	193	17	n	n	CCONJ
iajs-64	193	18	-	-	PUNCT
iajs-64	193	19	continuous	continuous	ADJ
iajs-64	193	20	and	and	CCONJ
iajs-64	193	21	g	g	PROPN
iajs-64	193	22	is	be	AUX
iajs-64	193	23	contran	contran	ADJ
iajs-64	193	24	-	-	PUNCT
iajs-64	193	25	continuous	continuous	ADJ
iajs-64	193	26	but	but	CCONJ
iajs-64	193	27	not	not	PART
iajs-64	193	28			PROPN
iajs-64	193	29	-continuous	-continuous	ADJ
iajs-64	193	30	the	the	DET
iajs-64	193	31	following	follow	VERB
iajs-64	193	32	diagram	diagram	NOUN
iajs-64	193	33	explains	explain	VERB
iajs-64	193	34	the	the	DET
iajs-64	193	35	relation	relation	NOUN
iajs-64	193	36	among	among	ADP
iajs-64	193	37	the	the	DET
iajs-64	193	38	above	above	ADJ
iajs-64	193	39	concepts	concept	NOUN
iajs-64	193	40	.	.	PUNCT
iajs-64	194	1	contra	contra	PROPN
iajs-64	194	2	continuous	continuous	ADJ
iajs-64	194	3	contra	contra	PROPN
iajs-64	194	4	-	-	PUNCT
iajs-64	194	5	n	n	CCONJ
iajs-64	194	6	-	-	PUNCT
iajs-64	194	7	continuous	continuous	ADJ
iajs-64	194	8	contra-	contra-	VERB
iajs-64	194	9	-continuous	-continuous	ADJ
iajs-64	194	10	274	274	NUM
iajs-64	194	11	|	|	NOUN
iajs-64	194	12	mathematics	mathematic	NOUN
iajs-64	194	13	2016	2016	NUM
iajs-64	194	14	)	)	PUNCT
iajs-64	194	15	عام	عام	ADP
iajs-64	194	16	1العدد	1العدد	NUM
iajs-64	194	17	(	(	PUNCT
iajs-64	194	18	29لمجلد	29لمجلد	NUM
iajs-64	194	19	ا	ا	X
iajs-64	194	20	مجلة	مجلة	NOUN
iajs-64	194	21	إبن	إبن	VERB
iajs-64	194	22	الهيثم	الهيثم	ADJ
iajs-64	194	23	للعلوم	للعلوم	NOUN
iajs-64	194	24	الصرفة	الصرفة	NOUN
iajs-64	195	1	و	و	PRON
iajs-64	195	2	التطبيقية	التطبيقية	ADJ
iajs-64	195	3	ibn	ibn	PROPN
iajs-64	195	4	al	al	PROPN
iajs-64	195	5	-	-	PUNCT
iajs-64	195	6	haitham	haitham	PROPN
iajs-64	195	7	j.	j.	PROPN
iajs-64	195	8	for	for	ADP
iajs-64	195	9	pure	pure	PROPN
iajs-64	195	10	&	&	CCONJ
iajs-64	195	11	appl	appl	PROPN
iajs-64	195	12	.	.	PUNCT
iajs-64	196	1	sci	sci	PROPN
iajs-64	196	2	.	.	PUNCT
iajs-64	197	1	vol.29	vol.29	PROPN
iajs-64	197	2	(	(	PUNCT
iajs-64	197	3	1	1	NUM
iajs-64	197	4	)	)	SYM
iajs-64	197	5	2016	2016	NUM
iajs-64	197	6	continuous	continuous	ADJ
iajs-64	197	7	n	n	CCONJ
iajs-64	197	8	-	-	PUNCT
iajs-64	197	9	continuous	continuous	ADJ
iajs-64	197	10			ADJ
iajs-64	197	11	-continuous	-continuous	ADJ
iajs-64	197	12	definition	definition	NOUN
iajs-64	197	13	[	[	X
iajs-64	197	14	13	13	NUM
iajs-64	197	15	]	]	SYM
iajs-64	197	16	3.3	3.3	NUM
iajs-64	197	17	:	:	PUNCT
iajs-64	197	18	let	let	VERB
iajs-64	197	19	a	a	PRON
iajs-64	197	20	be	be	AUX
iajs-64	197	21	a	a	DET
iajs-64	197	22	subset	subset	NOUN
iajs-64	197	23	of	of	ADP
iajs-64	197	24	a	a	DET
iajs-64	197	25	topological	topological	ADJ
iajs-64	197	26	space	space	NOUN
iajs-64	197	27	(	(	PUNCT
iajs-64	197	28	x	x	X
iajs-64	197	29	,	,	PUNCT
iajs-64	197	30	τ	τ	PROPN
iajs-64	197	31	)	)	PUNCT
iajs-64	197	32	.	.	PUNCT
iajs-64	198	1	the	the	DET
iajs-64	198	2	kernel	kernel	NOUN
iajs-64	198	3	of	of	ADP
iajs-64	198	4	a	a	PRON
iajs-64	198	5	is	be	AUX
iajs-64	198	6	the	the	DET
iajs-64	198	7	set	set	NOUN
iajs-64	198	8	defined	define	VERB
iajs-64	198	9	as	as	ADP
iajs-64	198	10	}	}	PUNCT
iajs-64	198	11	:	:	PUNCT
iajs-64	198	12	{	{	PUNCT
iajs-64	198	13	)	)	PUNCT
iajs-64	198	14	ker	ker	PROPN
iajs-64	198	15	(	(	PUNCT
iajs-64	198	16	uaua	uaua	PROPN
iajs-64	198	17			NOUN
iajs-64	198	18			PUNCT
iajs-64	198	19	lemma	lemma	PROPN
iajs-64	199	1	[	[	X
iajs-64	199	2	13	13	NUM
iajs-64	199	3	]	]	SYM
iajs-64	199	4	3.4	3.4	NUM
iajs-64	199	5	:	:	PUNCT
iajs-64	199	6	the	the	DET
iajs-64	199	7	following	follow	VERB
iajs-64	199	8	properties	property	NOUN
iajs-64	199	9	hold	hold	VERB
iajs-64	199	10	for	for	ADP
iajs-64	199	11	subsets	subset	NOUN
iajs-64	199	12	a	a	PRON
iajs-64	199	13	and	and	CCONJ
iajs-64	199	14	b	b	NOUN
iajs-64	199	15	of	of	ADP
iajs-64	199	16	a	a	DET
iajs-64	199	17	topological	topological	ADJ
iajs-64	199	18	space	space	NOUN
iajs-64	199	19	(	(	PUNCT
iajs-64	199	20	x	x	X
iajs-64	199	21	,	,	PUNCT
iajs-64	199	22	τ	τ	PROPN
iajs-64	199	23	)	)	PUNCT
iajs-64	199	24	1)ker	1)ker	NUM
iajs-64	199	25	(	(	PUNCT
iajs-64	199	26	ax	ax	PROPN
iajs-64	199	27	iff	iff	VERB
iajs-64	199	28	fa	fa	ADP
iajs-64	199	29	for	for	ADP
iajs-64	199	30	any	any	DET
iajs-64	199	31	closed	closed	ADJ
iajs-64	199	32	subset	subset	NOUN
iajs-64	199	33	f	f	NOUN
iajs-64	199	34	containing	contain	VERB
iajs-64	199	35	x.	x.	PROPN
iajs-64	199	36	2)ker(aa	2)ker(aa	NUM
iajs-64	200	1			PROPN
iajs-64	200	2	and	and	CCONJ
iajs-64	200	3	)	)	PUNCT
iajs-64	200	4	ker	ker	NOUN
iajs-64	200	5	(	(	PUNCT
iajs-64	200	6	aa	aa	INTJ
iajs-64	200	7			PROPN
iajs-64	200	8	if	if	SCONJ
iajs-64	200	9	a	a	PRON
iajs-64	200	10	is	be	AUX
iajs-64	200	11	open	open	ADJ
iajs-64	200	12	in	in	ADP
iajs-64	200	13	x.	x.	PROPN
iajs-64	200	14	3if	3if	PROPN
iajs-64	201	1	ba	ba	PROPN
iajs-64	201	2			PROPN
iajs-64	201	3	,	,	PUNCT
iajs-64	201	4	then	then	ADV
iajs-64	201	5	)	)	PUNCT
iajs-64	201	6	ker()ker	ker()ker	PROPN
iajs-64	201	7	(	(	PUNCT
iajs-64	201	8	ba	ba	PROPN
iajs-64	201	9			PROPN
iajs-64	201	10	.	.	PUNCT
iajs-64	202	1	theorem	theorem	VERB
iajs-64	202	2	3.5	3.5	NUM
iajs-64	202	3	:	:	PUNCT
iajs-64	202	4	let	let	VERB
iajs-64	202	5	f	f	PRON
iajs-64	202	6	be	be	AUX
iajs-64	202	7	a	a	DET
iajs-64	202	8	function	function	NOUN
iajs-64	202	9	from	from	ADP
iajs-64	202	10	topological	topological	ADJ
iajs-64	202	11	(	(	PUNCT
iajs-64	202	12	x	x	X
iajs-64	202	13	,	,	PUNCT
iajs-64	202	14	τ	τ	X
iajs-64	202	15	)	)	PUNCT
iajs-64	202	16	into	into	ADP
iajs-64	202	17	a	a	DET
iajs-64	202	18	topological	topological	ADJ
iajs-64	202	19	space	space	NOUN
iajs-64	202	20	(	(	PUNCT
iajs-64	202	21	y,	y,	PROPN
iajs-64	202	22	)	)	PUNCT
iajs-64	202	23	.	.	PUNCT
iajs-64	203	1	then	then	ADV
iajs-64	203	2	the	the	DET
iajs-64	203	3	following	follow	VERB
iajs-64	203	4	are	be	AUX
iajs-64	203	5	equivalent	equivalent	ADJ
iajs-64	203	6	:	:	PUNCT
iajs-64	203	7	1f	1f	PROPN
iajs-64	203	8	is	be	AUX
iajs-64	203	9	contra	contra	PROPN
iajs-64	203	10	n	n	CCONJ
iajs-64	203	11	-	-	PUNCT
iajs-64	203	12	continuous	continuous	ADJ
iajs-64	203	13	.	.	PUNCT
iajs-64	204	1	2for	2for	NUM
iajs-64	204	2	every	every	DET
iajs-64	204	3	closed	close	VERB
iajs-64	204	4	subset	subset	NOUN
iajs-64	204	5	f	f	PROPN
iajs-64	204	6	of	of	ADP
iajs-64	204	7	y	y	PROPN
iajs-64	204	8	,	,	PUNCT
iajs-64	204	9	1f	1f	NUM
iajs-64	204	10	(	(	PUNCT
iajs-64	204	11	f	f	X
iajs-64	204	12	)	)	PUNCT
iajs-64	204	13	is	be	AUX
iajs-64	204	14	n	n	ADV
iajs-64	204	15	-	-	ADV
iajs-64	204	16	open	open	ADJ
iajs-64	204	17	.	.	PUNCT
iajs-64	205	1	3for	3for	ADP
iajs-64	205	2	each	each	DET
iajs-64	205	3	xx	xx	NOUN
iajs-64	205	4	and	and	CCONJ
iajs-64	205	5	each	each	DET
iajs-64	205	6	closed	close	VERB
iajs-64	205	7	subset	subset	VERB
iajs-64	205	8	f	f	PROPN
iajs-64	205	9	of	of	ADP
iajs-64	205	10	y	y	PROPN
iajs-64	205	11	containing	contain	VERB
iajs-64	205	12	f(x	f(x	PROPN
iajs-64	205	13	)	)	PUNCT
iajs-64	205	14	,	,	PUNCT
iajs-64	205	15	there	there	PRON
iajs-64	205	16	exists	exist	VERB
iajs-64	205	17	an	an	DET
iajs-64	205	18	n	n	ADV
iajs-64	205	19	-	-	PUNCT
iajs-64	205	20	open	open	ADJ
iajs-64	205	21	u	u	NOUN
iajs-64	205	22	containing	contain	VERB
iajs-64	205	23	x	x	PUNCT
iajs-64	205	24	such	such	ADJ
iajs-64	205	25	that	that	DET
iajs-64	205	26	f(u)f	f(u)f	NOUN
iajs-64	205	27	.	.	PUNCT
iajs-64	206	1	4f	4f	NUM
iajs-64	206	2	(	(	PUNCT
iajs-64	206	3	(	(	PUNCT
iajs-64	206	4	ncl	ncl	NOUN
iajs-64	206	5	a	a	NOUN
iajs-64	206	6	)	)	PUNCT
iajs-64	206	7	ker	ker	NOUN
iajs-64	206	8	(	(	PUNCT
iajs-64	206	9	f(a	f(a	NOUN
iajs-64	206	10	)	)	PUNCT
iajs-64	206	11	)	)	PUNCT
iajs-64	206	12	for	for	ADP
iajs-64	206	13	all	all	DET
iajs-64	206	14	ax	ax	NOUN
iajs-64	206	15	.	.	PUNCT
iajs-64	207	1	5))(ker	5))(ker	NUM
iajs-64	207	2	(	(	PUNCT
iajs-64	207	3	)	)	PUNCT
iajs-64	207	4	)	)	PUNCT
iajs-64	207	5	(	(	PUNCT
iajs-64	207	6	(	(	PUNCT
iajs-64	207	7	11	11	NUM
iajs-64	207	8	bfbfcln	bfbfcln	NOUN
iajs-64	207	9			NOUN
iajs-64	207	10			PROPN
iajs-64	207	11	for	for	ADP
iajs-64	207	12	all	all	DET
iajs-64	207	13	yb	yb	PROPN
iajs-64	207	14			PROPN
iajs-64	207	15	.	.	PUNCT
iajs-64	208	1	proof	proof	NOUN
iajs-64	208	2	(	(	PUNCT
iajs-64	208	3	12	12	NUM
iajs-64	208	4	)	)	PUNCT
iajs-64	208	5	let	let	VERB
iajs-64	208	6	fy	fy	NOUN
iajs-64	208	7	closed	close	VERB
iajs-64	208	8	set	set	NOUN
iajs-64	208	9	.	.	PUNCT
iajs-64	209	1	then	then	ADV
iajs-64	209	2	y\f	y\f	PRON
iajs-64	209	3	is	be	AUX
iajs-64	209	4	open	open	ADJ
iajs-64	209	5	and	and	CCONJ
iajs-64	209	6	since	since	SCONJ
iajs-64	209	7	f	f	PROPN
iajs-64	209	8	is	be	AUX
iajs-64	209	9	contra	contra	PROPN
iajs-64	209	10	n	n	CCONJ
iajs-64	209	11	-	-	PUNCT
iajs-64	209	12	continuous	continuous	ADJ
iajs-64	209	13	,	,	PUNCT
iajs-64	209	14	then	then	ADV
iajs-64	209	15	)	)	PUNCT
iajs-64	209	16	\(1	\(1	PROPN
iajs-64	209	17	fyf	fyf	PROPN
iajs-64	209	18			PROPN
iajs-64	209	19	is	be	AUX
iajs-64	209	20	n	n	ADV
iajs-64	209	21	-	-	PUNCT
iajs-64	209	22	closed	closed	ADJ
iajs-64	209	23	in	in	ADP
iajs-64	209	24	x	x	NOUN
iajs-64	209	25	,	,	PUNCT
iajs-64	209	26	but	but	CCONJ
iajs-64	209	27	)	)	PUNCT
iajs-64	209	28	\(1	\(1	PROPN
iajs-64	209	29	fyf	fyf	PROPN
iajs-64	209	30			PROPN
iajs-64	209	31	=	=	PUNCT
iajs-64	209	32	)	)	PUNCT
iajs-64	209	33	(	(	PUNCT
iajs-64	209	34	\	\	NOUN
iajs-64	209	35	1	1	NUM
iajs-64	209	36	ffx	ffx	NOUN
iajs-64	209	37			NOUN
iajs-64	209	38	,	,	PUNCT
iajs-64	209	39	that	that	ADV
iajs-64	209	40	is	is	ADV
iajs-64	209	41	,	,	PUNCT
iajs-64	209	42	)	)	PUNCT
iajs-64	209	43	(	(	PUNCT
iajs-64	209	44	1	1	NUM
iajs-64	209	45	ff	ff	PROPN
iajs-64	209	46			PROPN
iajs-64	209	47	is	be	AUX
iajs-64	209	48	n	n	ADV
iajs-64	209	49	-	-	ADV
iajs-64	209	50	open	open	ADJ
iajs-64	209	51	.	.	PUNCT
iajs-64	210	1	(	(	PUNCT
iajs-64	210	2	2	2	NUM
iajs-64	210	3	3)let	3)let	NUM
iajs-64	210	4	xx	xx	NOUN
iajs-64	210	5	and	and	CCONJ
iajs-64	210	6	fy	fy	VERB
iajs-64	210	7	such	such	ADJ
iajs-64	210	8	that	that	DET
iajs-64	210	9	fxf	fxf	NOUN
iajs-64	210	10			NOUN
iajs-64	210	11	)	)	PUNCT
iajs-64	210	12	(	(	PUNCT
iajs-64	210	13	,	,	PUNCT
iajs-64	210	14	we	we	PRON
iajs-64	210	15	have	have	AUX
iajs-64	210	16	)	)	PUNCT
iajs-64	210	17	(	(	PUNCT
iajs-64	210	18	1	1	NUM
iajs-64	210	19	ffx	ffx	NOUN
iajs-64	210	20			PROPN
iajs-64	210	21	which	which	PRON
iajs-64	210	22	is	be	AUX
iajs-64	210	23	n	n	ADV
iajs-64	210	24	-	-	PUNCT
iajs-64	210	25	open	open	ADJ
iajs-64	210	26	set	set	NOUN
iajs-64	210	27	put	put	NOUN
iajs-64	210	28	)	)	PUNCT
iajs-64	210	29	(	(	PUNCT
iajs-64	210	30	1	1	NUM
iajs-64	210	31	ffu	ffu	VERB
iajs-64	210	32			ADJ
iajs-64	210	33	,	,	PUNCT
iajs-64	210	34	then	then	ADV
iajs-64	210	35	we	we	PRON
iajs-64	210	36	have	have	VERB
iajs-64	210	37	ffffuf	ffffuf	NOUN
iajs-64	210	38			NOUN
iajs-64	210	39			PROPN
iajs-64	210	40	)	)	PUNCT
iajs-64	210	41	)	)	PUNCT
iajs-64	210	42	(	(	PUNCT
iajs-64	210	43	(	(	PUNCT
iajs-64	210	44	)	)	PUNCT
iajs-64	210	45	(	(	PUNCT
iajs-64	210	46	1	1	NUM
iajs-64	210	47	,	,	PUNCT
iajs-64	210	48	hence	hence	ADV
iajs-64	210	49	fuf	fuf	PROPN
iajs-64	210	50			PROPN
iajs-64	210	51	)	)	PUNCT
iajs-64	210	52	(	(	PUNCT
iajs-64	210	53	.	.	PUNCT
iajs-64	211	1	(	(	PUNCT
iajs-64	211	2	3	3	NUM
iajs-64	211	3	4)suppose	4)suppose	NUM
iajs-64	211	4	that	that	PRON
iajs-64	211	5	,	,	PUNCT
iajs-64	211	6	there	there	PRON
iajs-64	211	7	exists	exist	VERB
iajs-64	211	8	)	)	PUNCT
iajs-64	211	9	)	)	PUNCT
iajs-64	212	1	(	(	PUNCT
iajs-64	212	2	(	(	PUNCT
iajs-64	212	3	aclfy	aclfy	NOUN
iajs-64	212	4	n	n	VERB
iajs-64	212	5	and	and	CCONJ
iajs-64	212	6	)	)	PUNCT
iajs-64	212	7	)	)	PUNCT
iajs-64	213	1	(	(	PUNCT
iajs-64	213	2	ker	ker	X
iajs-64	213	3	(	(	PUNCT
iajs-64	213	4	afy	afy	NOUN
iajs-64	213	5	for	for	ADP
iajs-64	213	6	some	some	PRON
iajs-64	213	7	subset	subset	NOUN
iajs-64	213	8	a	a	PRON
iajs-64	213	9	of	of	ADP
iajs-64	213	10	x	x	NOUN
iajs-64	213	11	,	,	PUNCT
iajs-64	213	12	then	then	ADV
iajs-64	213	13	)	)	PUNCT
iajs-64	213	14	(	(	PUNCT
iajs-64	213	15	xfy	xfy	PROPN
iajs-64	213	16			PROPN
iajs-64	213	17	for	for	ADP
iajs-64	213	18	some	some	PRON
iajs-64	213	19	)	)	PUNCT
iajs-64	213	20	)	)	PUNCT
iajs-64	214	1	(	(	PUNCT
iajs-64	214	2	aclx	aclx	PROPN
iajs-64	214	3	n	n	PROPN
iajs-64	214	4	,	,	PUNCT
iajs-64	214	5	hence	hence	ADV
iajs-64	214	6	there	there	PRON
iajs-64	214	7	exists	exist	VERB
iajs-64	214	8	a	a	DET
iajs-64	214	9	closed	closed	ADJ
iajs-64	214	10	set	set	VERB
iajs-64	214	11	fy	fy	NOUN
iajs-64	214	12	such	such	ADJ
iajs-64	214	13	that	that	SCONJ
iajs-64	214	14	fy	fy	NOUN
iajs-64	214	15	and	and	CCONJ
iajs-64	214	16	)(aff	)(aff	VERB
iajs-64	214	17			PROPN
iajs-64	214	18	,	,	PUNCT
iajs-64	214	19	thus	thus	ADV
iajs-64	214	20	by	by	ADP
iajs-64	214	21	(	(	PUNCT
iajs-64	214	22	3	3	X
iajs-64	214	23	)	)	PUNCT
iajs-64	214	24	there	there	PRON
iajs-64	214	25	exist	exist	VERB
iajs-64	214	26	nu	nu	PROPN
iajs-64	214	27			PUNCT
iajs-64	214	28	such	such	ADJ
iajs-64	214	29	that	that	SCONJ
iajs-64	214	30	fuf	fuf	NOUN
iajs-64	214	31			PROPN
iajs-64	214	32	)	)	PUNCT
iajs-64	214	33	(	(	PUNCT
iajs-64	214	34	,	,	PUNCT
iajs-64	214	35	then	then	ADV
iajs-64	214	36	)	)	PUNCT
iajs-64	214	37	(	(	PUNCT
iajs-64	214	38	)	)	PUNCT
iajs-64	214	39	)	)	PUNCT
iajs-64	214	40	(	(	PUNCT
iajs-64	214	41	(	(	PUNCT
iajs-64	214	42	11	11	NUM
iajs-64	214	43	ffuffu	ffuffu	NOUN
iajs-64	214	44			PUNCT
iajs-64	214	45			NOUN
iajs-64	214	46	,	,	PUNCT
iajs-64	214	47	hence	hence	ADV
iajs-64	214	48	au	au	X
iajs-64	214	49			PROPN
iajs-64	214	50	and	and	CCONJ
iajs-64	214	51	)	)	PUNCT
iajs-64	214	52	(	(	PUNCT
iajs-64	214	53	aclx	aclx	PROPN
iajs-64	214	54	n	n	PROPN
iajs-64	214	55	,	,	PUNCT
iajs-64	214	56	that	that	ADV
iajs-64	214	57	is	is	ADV
iajs-64	214	58	)	)	PUNCT
iajs-64	214	59	)	)	PUNCT
iajs-64	214	60	(	(	PUNCT
iajs-64	214	61	(	(	PUNCT
iajs-64	214	62	)	)	PUNCT
iajs-64	214	63	(	(	PUNCT
iajs-64	214	64	aclfxfy	aclfxfy	PROPN
iajs-64	214	65	n	n	PRON
iajs-64	214	66	which	which	PRON
iajs-64	214	67	is	be	AUX
iajs-64	214	68	contradiction	contradiction	NOUN
iajs-64	214	69	.	.	PUNCT
iajs-64	215	1	(	(	PUNCT
iajs-64	215	2	4	4	NUM
iajs-64	215	3			NOUN
iajs-64	215	4	5	5	NUM
iajs-64	215	5	)	)	PUNCT
iajs-64	215	6	let	let	VERB
iajs-64	215	7	yb	yb	PROPN
iajs-64	215	8			PROPN
iajs-64	215	9	.	.	PUNCT
iajs-64	216	1	then	then	ADV
iajs-64	216	2	)	)	PUNCT
iajs-64	216	3	ker())((ker	ker())((ker	PROPN
iajs-64	216	4	(	(	PUNCT
iajs-64	216	5	1	1	NUM
iajs-64	216	6	bbff	bbff	NOUN
iajs-64	216	7			PUNCT
iajs-64	216	8	and	and	CCONJ
iajs-64	216	9	by	by	ADP
iajs-64	216	10	(	(	PUNCT
iajs-64	216	11	4	4	X
iajs-64	216	12	)	)	PUNCT
iajs-64	216	13	we	we	PRON
iajs-64	216	14	have	have	VERB
iajs-64	216	15	)	)	PUNCT
iajs-64	216	16	ker()))((ker	ker()))((ker	PROPN
iajs-64	216	17	(	(	PUNCT
iajs-64	216	18	)	)	PUNCT
iajs-64	216	19	)	)	PUNCT
iajs-64	216	20	)	)	PUNCT
iajs-64	217	1	(	(	PUNCT
iajs-64	217	2	(	(	PUNCT
iajs-64	217	3	(	(	PUNCT
iajs-64	217	4	11	11	NUM
iajs-64	217	5	bbffbfclf	bbffbfclf	NOUN
iajs-64	217	6	n	n	NUM
iajs-64	217	7			PRON
iajs-64	217	8			PROPN
iajs-64	217	9	,	,	PUNCT
iajs-64	217	10	hence	hence	ADV
iajs-64	217	11	)	)	PUNCT
iajs-64	217	12	)	)	PUNCT
iajs-64	217	13	(	(	PUNCT
iajs-64	217	14	ker	ker	NOUN
iajs-64	217	15	(	(	PUNCT
iajs-64	217	16	)	)	PUNCT
iajs-64	217	17	)	)	PUNCT
iajs-64	217	18	(	(	PUNCT
iajs-64	217	19	(	(	PUNCT
iajs-64	217	20	11	11	NUM
iajs-64	217	21	bfbfcln	bfbfcln	NOUN
iajs-64	217	22			PROPN
iajs-64	217	23			PROPN
iajs-64	217	24	.	.	PUNCT
iajs-64	218	1	(	(	PUNCT
iajs-64	218	2	5	5	NUM
iajs-64	218	3	1	1	NOUN
iajs-64	218	4	)	)	PUNCT
iajs-64	218	5	let	let	VERB
iajs-64	218	6	v	v	PART
iajs-64	218	7	be	be	AUX
iajs-64	218	8	any	any	DET
iajs-64	218	9	open	open	NOUN
iajs-64	218	10	of	of	ADP
iajs-64	218	11	y	y	NOUN
iajs-64	218	12	,	,	PUNCT
iajs-64	218	13	then	then	ADV
iajs-64	218	14	by	by	ADP
iajs-64	218	15	lemma	lemma	PROPN
iajs-64	218	16	and	and	CCONJ
iajs-64	218	17	the	the	DET
iajs-64	218	18	assumption	assumption	NOUN
iajs-64	218	19	)	)	PUNCT
iajs-64	218	20	(	(	PUNCT
iajs-64	218	21	)	)	PUNCT
iajs-64	218	22	)	)	PUNCT
iajs-64	218	23	(	(	PUNCT
iajs-64	218	24	ker	ker	NOUN
iajs-64	218	25	(	(	PUNCT
iajs-64	218	26	)	)	PUNCT
iajs-64	218	27	)	)	PUNCT
iajs-64	218	28	(	(	PUNCT
iajs-64	218	29	(	(	PUNCT
iajs-64	218	30	111	111	NUM
iajs-64	218	31	vfvfvfcln	vfvfvfcln	NOUN
iajs-64	218	32			NOUN
iajs-64	218	33			PROPN
iajs-64	218	34	,	,	PUNCT
iajs-64	218	35	therefore	therefore	ADV
iajs-64	218	36	)	)	PUNCT
iajs-64	218	37	(	(	PUNCT
iajs-64	218	38	)	)	PUNCT
iajs-64	218	39	)	)	PUNCT
iajs-64	218	40	(	(	PUNCT
iajs-64	218	41	(	(	PUNCT
iajs-64	218	42	11	11	NUM
iajs-64	218	43	vfvfcln	vfvfcln	NOUN
iajs-64	218	44			NOUN
iajs-64	218	45			PROPN
iajs-64	218	46	.	.	PUNCT
iajs-64	219	1	hence	hence	ADV
iajs-64	219	2	)	)	PUNCT
iajs-64	219	3	)	)	PUNCT
iajs-64	220	1	(	(	PUNCT
iajs-64	220	2	(	(	PUNCT
iajs-64	220	3	)	)	PUNCT
iajs-64	220	4	(	(	PUNCT
iajs-64	220	5	11	11	NUM
iajs-64	220	6	vfclvf	vfclvf	ADJ
iajs-64	220	7	n	n	ADV
iajs-64	220	8			NOUN
iajs-64	220	9			NOUN
iajs-64	221	1	and	and	CCONJ
iajs-64	221	2	then	then	ADV
iajs-64	221	3	f	f	PROPN
iajs-64	221	4	is	be	AUX
iajs-64	221	5	contra	contra	PROPN
iajs-64	221	6	n	n	CCONJ
iajs-64	221	7	-	-	PUNCT
iajs-64	221	8	continuous	continuous	ADJ
iajs-64	221	9	.	.	PUNCT
iajs-64	222	1	275	275	NUM
iajs-64	222	2	|	|	NOUN
iajs-64	222	3	mathematics	mathematic	NOUN
iajs-64	222	4	2016	2016	NUM
iajs-64	222	5	)	)	PUNCT
iajs-64	222	6	عام	عام	ADP
iajs-64	222	7	1العدد	1العدد	NUM
iajs-64	222	8	(	(	PUNCT
iajs-64	223	1	29لمجلد	29لمجلد	NUM
iajs-64	223	2	ا	ا	X
iajs-64	223	3	مجلة	مجلة	NOUN
iajs-64	223	4	إبن	إبن	VERB
iajs-64	223	5	الهيثم	الهيثم	ADJ
iajs-64	223	6	للعلوم	للعلوم	NOUN
iajs-64	223	7	الصرفة	الصرفة	NOUN
iajs-64	224	1	و	و	PRON
iajs-64	224	2	التطبيقية	التطبيقية	ADJ
iajs-64	224	3	ibn	ibn	PROPN
iajs-64	224	4	al	al	PROPN
iajs-64	224	5	-	-	PUNCT
iajs-64	224	6	haitham	haitham	PROPN
iajs-64	224	7	j.	j.	PROPN
iajs-64	224	8	for	for	ADP
iajs-64	224	9	pure	pure	PROPN
iajs-64	224	10	&	&	CCONJ
iajs-64	224	11	appl	appl	PROPN
iajs-64	224	12	.	.	PUNCT
iajs-64	225	1	sci	sci	PROPN
iajs-64	225	2	.	.	PUNCT
iajs-64	226	1	vol.29	vol.29	PROPN
iajs-64	226	2	(	(	PUNCT
iajs-64	226	3	1	1	NUM
iajs-64	226	4	)	)	SYM
iajs-64	226	5	2016	2016	NUM
iajs-64	226	6	references	reference	NOUN
iajs-64	226	7	1	1	NUM
iajs-64	226	8	.	.	PUNCT
iajs-64	226	9	levine	levine	PROPN
iajs-64	226	10	,	,	PUNCT
iajs-64	226	11	n.	n.	PROPN
iajs-64	226	12	(	(	PUNCT
iajs-64	226	13	1963	1963	NUM
iajs-64	226	14	)	)	PUNCT
iajs-64	226	15	;	;	PUNCT
iajs-64	226	16	semi	semi	ADJ
iajs-64	226	17	-	-	ADJ
iajs-64	226	18	open	open	ADJ
iajs-64	226	19	sets	set	NOUN
iajs-64	226	20	and	and	CCONJ
iajs-64	226	21	semi	semi	ADJ
iajs-64	226	22	-	-	NOUN
iajs-64	226	23	continuity	continuity	NOUN
iajs-64	226	24	in	in	ADP
iajs-64	226	25	topological	topological	ADJ
iajs-64	226	26	spaces	space	NOUN
iajs-64	226	27	,	,	PUNCT
iajs-64	226	28	math	math	NOUN
iajs-64	226	29	.	.	PUNCT
iajs-64	227	1	monthly	monthly	ADV
iajs-64	227	2	.	.	PUNCT
iajs-64	228	1	,	,	PUNCT
iajs-64	228	2	70	70	NUM
iajs-64	228	3	,	,	PUNCT
iajs-64	228	4	36	36	NUM
iajs-64	228	5	-	-	SYM
iajs-64	228	6	41	41	NUM
iajs-64	228	7	.	.	PUNCT
iajs-64	229	1	2.mashhour	2.mashhour	NUM
iajs-64	229	2	,	,	PUNCT
iajs-64	229	3	a.s	a.s	PROPN
iajs-64	229	4	.	.	PROPN
iajs-64	229	5	;	;	PUNCT
iajs-64	230	1	abd	abd	PROPN
iajs-64	230	2	el	el	PROPN
iajs-64	230	3	-	-	PUNCT
iajs-64	230	4	monsef	monsef	ADJ
iajs-64	230	5	,	,	PUNCT
iajs-64	230	6	m.e	m.e	PROPN
iajs-64	230	7	.	.	PROPN
iajs-64	230	8	and	and	CCONJ
iajs-64	230	9	el.deeb	el.deeb	PROPN
iajs-64	230	10	,	,	PUNCT
iajs-64	230	11	s.n	s.n	PROPN
iajs-64	230	12	.	.	PROPN
iajs-64	230	13	(	(	PUNCT
iajs-64	230	14	1982	1982	NUM
iajs-64	230	15	)	)	PUNCT
iajs-64	230	16	,	,	PUNCT
iajs-64	230	17	on	on	ADP
iajs-64	230	18	pre	pre	ADJ
iajs-64	230	19	-	-	ADJ
iajs-64	230	20	continuous	continuous	ADJ
iajs-64	230	21	and	and	CCONJ
iajs-64	230	22	week	week	NOUN
iajs-64	230	23	precontinuous	precontinuous	ADJ
iajs-64	230	24	mappings	mapping	NOUN
iajs-64	230	25	,	,	PUNCT
iajs-64	230	26	proc	proc	NOUN
iajs-64	230	27	.	.	PUNCT
iajs-64	231	1	math	math	NOUN
iajs-64	231	2	and	and	CCONJ
iajs-64	231	3	phys	phy	NOUN
iajs-64	231	4	.	.	PUNCT
iajs-64	232	1	soc	soc	PROPN
iajs-64	232	2	.	.	PUNCT
iajs-64	233	1	egypt	egypt	PROPN
iajs-64	233	2	.	.	PROPN
iajs-64	233	3	,	,	PUNCT
iajs-64	233	4	53	53	NUM
iajs-64	233	5	,	,	PUNCT
iajs-64	233	6	47	47	NUM
iajs-64	233	7	-	-	SYM
iajs-64	233	8	53	53	NUM
iajs-64	233	9	.	.	PUNCT
iajs-64	234	1	3	3	X
iajs-64	234	2	.	.	X
iajs-64	234	3	njastad	njastad	NOUN
iajs-64	234	4	,	,	PUNCT
iajs-64	234	5	o.	o.	PROPN
iajs-64	234	6	(	(	PUNCT
iajs-64	234	7	1965	1965	NUM
iajs-64	234	8	)	)	PUNCT
iajs-64	234	9	;	;	PUNCT
iajs-64	234	10	on	on	ADP
iajs-64	234	11	some	some	DET
iajs-64	234	12	classes	class	NOUN
iajs-64	234	13	of	of	ADP
iajs-64	234	14	nearly	nearly	ADV
iajs-64	234	15	open	open	ADJ
iajs-64	234	16	sets	set	NOUN
iajs-64	234	17	,	,	PUNCT
iajs-64	234	18	pacific	pacific	PROPN
iajs-64	234	19	j.	j.	PROPN
iajs-64	234	20	math	math	PROPN
iajs-64	234	21	.	.	PUNCT
iajs-64	234	22	,	,	PUNCT
iajs-64	234	23	15	15	NUM
iajs-64	234	24	,	,	PUNCT
iajs-64	234	25	961	961	NUM
iajs-64	234	26	-	-	SYM
iajs-64	234	27	970	970	NUM
iajs-64	234	28	.	.	NOUN
iajs-64	235	1	4	4	NUM
iajs-64	235	2	.	.	X
iajs-64	235	3	andrijević	andrijević	PROPN
iajs-64	235	4	,	,	PUNCT
iajs-64	235	5	d.	d.	PROPN
iajs-64	235	6	(	(	PUNCT
iajs-64	235	7	1996	1996	NUM
iajs-64	235	8	)	)	PUNCT
iajs-64	235	9	,	,	PUNCT
iajs-64	235	10	on	on	ADP
iajs-64	235	11	b	b	X
iajs-64	235	12	-	-	PUNCT
iajs-64	235	13	open	open	ADJ
iajs-64	235	14	sets	set	NOUN
iajs-64	235	15	,	,	PUNCT
iajs-64	235	16	math	math	NOUN
iajs-64	235	17	..	..	PUNCT
iajs-64	235	18	vesik	vesik	NOUN
iajs-64	235	19	.	.	PUNCT
iajs-64	235	20	,	,	PUNCT
iajs-64	235	21	48	48	NUM
iajs-64	235	22	,	,	PUNCT
iajs-64	235	23	59	59	NUM
iajs-64	235	24	-	-	SYM
iajs-64	235	25	64	64	NUM
iajs-64	235	26	.	.	PUNCT
iajs-64	236	1	5	5	X
iajs-64	236	2	.	.	X
iajs-64	236	3	abd	abd	PROPN
iajs-64	236	4	el	el	PROPN
iajs-64	236	5	-	-	PUNCT
iajs-64	236	6	monsef	monsef	ADJ
iajs-64	236	7	,	,	PUNCT
iajs-64	236	8	m.	m.	NOUN
iajs-64	236	9	,	,	PUNCT
iajs-64	236	10	el	el	PROPN
iajs-64	236	11	-	-	PUNCT
iajs-64	236	12	deeb	deeb	PROPN
iajs-64	236	13	s.	s.	PROPN
iajs-64	236	14	;	;	PUNCT
iajs-64	236	15	and	and	CCONJ
iajs-64	236	16	mahmoud	mahmoud	PROPN
iajs-64	236	17	r.	r.	PROPN
iajs-64	236	18	(	(	PUNCT
iajs-64	236	19	1983	1983	NUM
iajs-64	236	20	)	)	PUNCT
iajs-64	236	21	,	,	PUNCT
iajs-64	236	22	β	β	X
iajs-64	236	23	-	-	ADJ
iajs-64	236	24	open	open	ADJ
iajs-64	236	25	sets	set	NOUN
iajs-64	236	26	and	and	CCONJ
iajs-64	236	27	β	β	ADJ
iajs-64	236	28	-	-	ADJ
iajs-64	236	29	continuous	continuous	ADJ
iajs-64	236	30	mappings	mapping	NOUN
iajs-64	236	31	,	,	PUNCT
iajs-64	236	32	ball.fac	ball.fac	PROPN
iajs-64	236	33	.	.	PUNCT
iajs-64	237	1	sci	sci	PROPN
iajs-64	237	2	.	.	PUNCT
iajs-64	237	3	assuit	assuit	PROPN
iajs-64	237	4	univ	univ	PROPN
iajs-64	237	5	.	.	PROPN
iajs-64	237	6	,	,	PUNCT
iajs-64	237	7	12	12	NUM
iajs-64	237	8	,	,	PUNCT
iajs-64	237	9	77	77	NUM
iajs-64	237	10	-	-	SYM
iajs-64	237	11	90	90	NUM
iajs-64	237	12	.	.	NOUN
iajs-64	238	1	6	6	NUM
iajs-64	238	2	.	.	X
iajs-64	238	3	hdeib	hdeib	PROPN
iajs-64	238	4	,	,	PUNCT
iajs-64	238	5	h.	h.	PROPN
iajs-64	238	6	(	(	PUNCT
iajs-64	238	7	1989	1989	NUM
iajs-64	238	8	)	)	PUNCT
iajs-64	238	9	,	,	PUNCT
iajs-64	238	10			PRON
iajs-64	238	11	-continuous	-continuous	ADJ
iajs-64	238	12	functions	function	NOUN
iajs-64	238	13	,	,	PUNCT
iajs-64	238	14	dirasat	dirasat	PROPN
iajs-64	238	15	.	.	PUNCT
iajs-64	238	16	,	,	PUNCT
iajs-64	238	17	16	16	NUM
iajs-64	238	18	,	,	PUNCT
iajs-64	238	19	136	136	NUM
iajs-64	238	20	-	-	SYM
iajs-64	238	21	142	142	NUM
iajs-64	238	22	.	.	PUNCT
iajs-64	239	1	7	7	X
iajs-64	239	2	.	.	X
iajs-64	240	1	al	al	PROPN
iajs-64	240	2	-	-	PUNCT
iajs-64	240	3	hawary	hawary	PROPN
iajs-64	240	4	,	,	PUNCT
iajs-64	240	5	t.	t.	PROPN
iajs-64	240	6	(	(	PUNCT
iajs-64	240	7	2004	2004	NUM
iajs-64	240	8	)	)	PUNCT
iajs-64	240	9	,	,	PUNCT
iajs-64	240	10			PROPN
iajs-64	240	11	–	–	PUNCT
iajs-64	240	12	generalized	generalize	VERB
iajs-64	240	13	closed	closed	ADJ
iajs-64	240	14	sets	set	NOUN
iajs-64	240	15	,	,	PUNCT
iajs-64	240	16	international	international	ADJ
iajs-64	240	17	journal	journal	NOUN
iajs-64	240	18	of	of	ADP
iajs-64	240	19	applied	apply	VERB
iajs-64	240	20	mathematics	mathematic	NOUN
iajs-64	240	21	.	.	PUNCT
iajs-64	240	22	,	,	PUNCT
iajs-64	240	23	16(3	16(3	NOUN
iajs-64	240	24	)	)	PUNCT
iajs-64	240	25	,	,	PUNCT
iajs-64	240	26	341	341	NUM
iajs-64	240	27	-	-	SYM
iajs-64	240	28	353	353	NUM
iajs-64	240	29	.	.	NOUN
iajs-64	240	30	8	8	NUM
iajs-64	240	31	.	.	X
iajs-64	241	1	noiri	noiri	PROPN
iajs-64	241	2	,	,	PUNCT
iajs-64	241	3	t.	t.	PROPN
iajs-64	241	4	;	;	PUNCT
iajs-64	241	5	al	al	PROPN
iajs-64	241	6	-	-	PUNCT
iajs-64	241	7	omari	omari	PROPN
iajs-64	241	8	a.	a.	PROPN
iajs-64	241	9	and	and	CCONJ
iajs-64	241	10	noorani	noorani	PROPN
iajs-64	241	11	s.	s.	PROPN
iajs-64	241	12	(	(	PUNCT
iajs-64	241	13	2009	2009	NUM
iajs-64	241	14	)	)	PUNCT
iajs-64	241	15	,	,	PUNCT
iajs-64	241	16	weak	weak	ADJ
iajs-64	241	17	forms	form	NOUN
iajs-64	241	18	of	of	ADP
iajs-64	241	19			PROPN
iajs-64	241	20	-open	-open	NOUN
iajs-64	241	21	sets	set	NOUN
iajs-64	241	22	and	and	CCONJ
iajs-64	241	23	decompositions	decomposition	NOUN
iajs-64	241	24	of	of	ADP
iajs-64	241	25	continuity	continuity	NOUN
iajs-64	241	26	,	,	PUNCT
iajs-64	241	27	eur	eur	PROPN
iajs-64	241	28	.	.	PUNCT
iajs-64	242	1	j.	j.	PROPN
iajs-64	242	2	pure	pure	PROPN
iajs-64	242	3	appl	appl	PROPN
iajs-64	242	4	.	.	PUNCT
iajs-64	242	5	math	math	PROPN
iajs-64	242	6	.	.	PUNCT
iajs-64	242	7	,	,	PUNCT
iajs-64	242	8	2	2	NUM
iajs-64	242	9	,	,	PUNCT
iajs-64	242	10	73	73	NUM
iajs-64	242	11	-	-	SYM
iajs-64	242	12	84	84	NUM
iajs-64	242	13	.	.	PUNCT
iajs-64	243	1	9	9	X
iajs-64	243	2	.	.	X
iajs-64	244	1	al	al	PROPN
iajs-64	244	2	-	-	PUNCT
iajs-64	244	3	omari	omari	PROPN
iajs-64	244	4	a.	a.	PROPN
iajs-64	244	5	and	and	CCONJ
iajs-64	244	6	noorani	noorani	PROPN
iajs-64	244	7	m.	m.	PROPN
iajs-64	244	8	s.	s.	PROPN
iajs-64	244	9	md	md	PROPN
iajs-64	244	10	.	.	PUNCT
iajs-64	245	1	(	(	PUNCT
iajs-64	245	2	2009	2009	NUM
iajs-64	245	3	)	)	PUNCT
iajs-64	245	4	,	,	PUNCT
iajs-64	245	5	new	new	ADJ
iajs-64	245	6	characterization	characterization	NOUN
iajs-64	245	7	of	of	ADP
iajs-64	245	8	compact	compact	ADJ
iajs-64	245	9	space	space	NOUN
iajs-64	245	10	,	,	PUNCT
iajs-64	245	11	proceedings	proceeding	NOUN
iajs-64	245	12	of	of	ADP
iajs-64	245	13	the	the	DET
iajs-64	245	14	5th	5th	ADJ
iajs-64	245	15	asian	asian	ADJ
iajs-64	245	16	mathematical	mathematical	ADJ
iajs-64	245	17	conference	conference	NOUN
iajs-64	245	18	,	,	PUNCT
iajs-64	245	19	malaysia	malaysia	PROPN
iajs-64	245	20	.	.	PROPN
iajs-64	246	1	10	10	NUM
iajs-64	246	2	.	.	X
iajs-64	247	1	engelking	engelke	VERB
iajs-64	247	2	,	,	PUNCT
iajs-64	247	3	r.	r.	PROPN
iajs-64	247	4	(	(	PUNCT
iajs-64	247	5	1989	1989	NUM
iajs-64	247	6	)	)	PUNCT
iajs-64	247	7	;	;	PUNCT
iajs-64	247	8	general	general	ADJ
iajs-64	247	9	topology	topology	NOUN
iajs-64	247	10	,	,	PUNCT
iajs-64	247	11	heldermann	heldermann	PROPN
iajs-64	247	12	veriag	veriag	PROPN
iajs-64	247	13	berlin	berlin	PROPN
iajs-64	247	14	,	,	PUNCT
iajs-64	247	15	2nd	2nd	PROPN
iajs-64	247	16	edition	edition	NOUN
iajs-64	247	17	.	.	PUNCT
iajs-64	248	1	11	11	NUM
iajs-64	248	2	.	.	PUNCT
iajs-64	249	1	dontchev	dontchev	PROPN
iajs-64	249	2	,	,	PUNCT
iajs-64	249	3	j.	j.	PROPN
iajs-64	249	4	(	(	PUNCT
iajs-64	249	5	1996	1996	NUM
iajs-64	249	6	)	)	PUNCT
iajs-64	249	7	;	;	PUNCT
iajs-64	249	8	contra	contra	ADJ
iajs-64	249	9	-	-	ADJ
iajs-64	249	10	continuous	continuous	ADJ
iajs-64	249	11	function	function	NOUN
iajs-64	249	12	and	and	CCONJ
iajs-64	249	13	strongly	strongly	ADV
iajs-64	249	14	s	s	NOUN
iajs-64	249	15	-	-	PUNCT
iajs-64	249	16	closed	closed	ADJ
iajs-64	249	17	spaces	space	NOUN
iajs-64	249	18	,	,	PUNCT
iajs-64	249	19	internat	internat	PROPN
iajs-64	249	20	.	.	PUNCT
iajs-64	250	1	j.	j.	PROPN
iajs-64	250	2	math	math	PROPN
iajs-64	250	3	.	.	PUNCT
iajs-64	251	1	and	and	CCONJ
iajs-64	251	2	math	math	NOUN
iajs-64	251	3	.	.	PUNCT
iajs-64	252	1	sci	sci	PROPN
iajs-64	252	2	.	.	PROPN
iajs-64	252	3	,	,	PUNCT
iajs-64	252	4	19(2	19(2	NUM
iajs-64	252	5	)	)	PUNCT
iajs-64	252	6	,	,	PUNCT
iajs-64	252	7	303	303	NUM
iajs-64	252	8	-	-	SYM
iajs-64	252	9	310	310	NUM
iajs-64	252	10	.	.	NOUN
iajs-64	252	11	12	12	NUM
iajs-64	252	12	al	al	PROPN
iajs-64	252	13	-	-	PUNCT
iajs-64	252	14	hawary	hawary	PROPN
iajs-64	252	15	,	,	PUNCT
iajs-64	252	16	t.	t.	PROPN
iajs-64	252	17	(	(	PUNCT
iajs-64	252	18	2007	2007	NUM
iajs-64	252	19	)	)	PUNCT
iajs-64	252	20	,	,	PUNCT
iajs-64	253	1	ω	ω	X
iajs-64	253	2	-	-	ADJ
iajs-64	253	3	continuous	continuous	ADJ
iajs-64	253	4	like	like	ADP
iajs-64	253	5	mappings	mapping	NOUN
iajs-64	253	6	,	,	PUNCT
iajs-64	253	7	al	al	PROPN
iajs-64	253	8	-	-	PUNCT
iajs-64	253	9	manarah	manarah	PROPN
iajs-64	253	10	.	.	PUNCT
iajs-64	253	11	,	,	PUNCT
iajs-64	253	12	13(6	13(6	PROPN
iajs-64	253	13	)	)	PUNCT
iajs-64	253	14	,	,	PUNCT
iajs-64	253	15	135	135	NUM
iajs-64	253	16	-	-	SYM
iajs-64	253	17	147	147	NUM
iajs-64	253	18	.	.	PUNCT
iajs-64	254	1	13	13	NUM
iajs-64	254	2	.	.	PUNCT
iajs-64	255	1	mrsevic	mrsevic	ADJ
iajs-64	255	2	,	,	PUNCT
iajs-64	255	3	m.	m.	NOUN
iajs-64	255	4	(	(	PUNCT
iajs-64	255	5	1978);on	1978);on	NUM
iajs-64	255	6	pairwise	pairwise	NOUN
iajs-64	255	7	r	r	NOUN
iajs-64	255	8	and	and	CCONJ
iajs-64	255	9	pairwise	pairwise	PROPN
iajs-64	255	10	ri	ri	NOUN
iajs-64	255	11	bitopological	bitopological	ADJ
iajs-64	255	12	spaces	space	NOUN
iajs-64	255	13	,	,	PUNCT
iajs-64	255	14	bull	bull	NOUN
iajs-64	255	15	.	.	PUNCT
iajs-64	256	1	math	math	NOUN
iajs-64	256	2	.	.	PUNCT
iajs-64	257	1	soc	soc	PROPN
iajs-64	257	2	.	.	PUNCT
iajs-64	258	1	sci	sci	PROPN
iajs-64	258	2	.	.	PROPN
iajs-64	258	3	math	math	PROPN
iajs-64	258	4	.	.	PUNCT
iajs-64	259	1	r.s	r.s	PROPN
iajs-64	259	2	.	.	PROPN
iajs-64	259	3	roumanie	roumanie	PROPN
iajs-64	259	4	.	.	PROPN
iajs-64	259	5	,	,	PUNCT
iajs-64	259	6	30	30	NUM
iajs-64	259	7	,	,	PUNCT
iajs-64	259	8	141	141	NUM
iajs-64	259	9	-	-	SYM
iajs-64	259	10	148	148	NUM
iajs-64	259	11	.	.	PUNCT
iajs-64	259	12	276	276	NUM
iajs-64	260	1	|	|	ADV
iajs-64	260	2	mathematics	mathematic	NOUN
iajs-64	260	3	2016	2016	NUM
iajs-64	260	4	)	)	PUNCT
iajs-64	260	5	عام	عام	ADP
iajs-64	260	6	1العدد	1العدد	NUM
iajs-64	260	7	(	(	PUNCT
iajs-64	260	8	29لمجلد	29لمجلد	NUM
iajs-64	260	9	ا	ا	X
iajs-64	260	10	مجلة	مجلة	NOUN
iajs-64	260	11	إبن	إبن	VERB
iajs-64	260	12	الهيثم	الهيثم	ADJ
iajs-64	260	13	للعلوم	للعلوم	NOUN
iajs-64	260	14	الصرفة	الصرفة	NOUN
iajs-64	261	1	و	و	PRON
iajs-64	261	2	التطبيقية	التطبيقية	ADJ
iajs-64	261	3	ibn	ibn	PROPN
iajs-64	261	4	al	al	PROPN
iajs-64	261	5	-	-	PUNCT
iajs-64	261	6	haitham	haitham	PROPN
iajs-64	261	7	j.	j.	PROPN
iajs-64	261	8	for	for	ADP
iajs-64	261	9	pure	pure	PROPN
iajs-64	261	10	&	&	CCONJ
iajs-64	261	11	appl	appl	PROPN
iajs-64	261	12	.	.	PUNCT
iajs-64	262	1	sci	sci	PROPN
iajs-64	262	2	.	.	PUNCT
iajs-64	263	1	vol.29	vol.29	PROPN
iajs-64	263	2	(	(	PUNCT
iajs-64	263	3	1	1	NUM
iajs-64	263	4	)	)	SYM
iajs-64	263	5	2016	2016	NUM
iajs-64	263	6	n	n	PRON
iajs-64	263	7	المجموعات	المجموعات	ADJ
iajs-64	263	8	المفتوحة	المفتوحة	NOUN
iajs-64	263	9	الضعيفة	الضعيفة	NOUN
iajs-64	263	10	من	من	PRON
iajs-64	263	11	النمط	النمط	PROPN
iajs-64	263	12	عامر	عامر	PROPN
iajs-64	263	13	اسماعيل	اسماعيل	NOUN
iajs-64	263	14	السعيد	السعيد	PROPN
iajs-64	263	15	/قسم	/قسم	PROPN
iajs-64	263	16	الرياضيات	الرياضيات	PROPN
iajs-64	263	17	كلية	كلية	NOUN
iajs-64	263	18	العلوم	العلوم	PROPN
iajs-64	263	19	/	/	SYM
iajs-64	263	20	الجامعة	الجامعة	NOUN
iajs-64	263	21	المستنصرية	المستنصرية	PROPN
iajs-64	263	22	6/12/2016في	6/12/2016في	PROPN
iajs-64	263	23	:	:	PUNCT
iajs-64	263	24	البحث	البحث	PROPN
iajs-64	263	25	قبل	قبل	PROPN
iajs-64	263	26	،	،	PROPN
iajs-64	264	1	30/4/2015في	30/4/2015في	X
iajs-64	264	2	:	:	PUNCT
iajs-64	264	3	البحث	البحث	PROPN
iajs-64	264	4	استلم	استلم	PROPN
iajs-64	264	5	الخالصة	الخالصة	PROPN
iajs-64	264	6	والمجموعات	والمجموعات	PROPN
iajs-64	264	7	nفي	nفي	NOUN
iajs-64	264	8	هذا	هذا	PROPN
iajs-64	264	9	البحث	البحث	PROPN
iajs-64	264	10	نقدم	نقدم	NOUN
iajs-64	264	11	فئة	فئة	PROPN
iajs-64	264	12	جديدة	جديدة	NOUN
iajs-64	264	13	من	من	PRON
iajs-64	264	14	المجموعات	المجموعات	PROPN
iajs-64	264	15	المفتوحة	المفتوحة	PROPN
iajs-64	264	16	تسمى	تسمى	PROPN
iajs-64	264	17	المجموعات	المجموعات	PROPN
iajs-64	264	18	المفتوحة	المفتوحة	NOUN
iajs-64	264	19	من	من	PRON
iajs-64	264	20	النمط	النمط	NOUN
iajs-64	264	21	بين	بين	NOUN
iajs-64	264	22	هذه	هذه	VERB
iajs-64	264	23	المجموعات	المجموعات	ADJ
iajs-64	264	24	المفتوحة	المفتوحة	NOUN
iajs-64	264	25	ومجموعات	ومجموعات	PROPN
iajs-64	264	26	مفتوحة	مفتوحة	NOUN
iajs-64	264	27	أخرى	أخرى	NOUN
iajs-64	264	28	.	.	PUNCT
iajs-64	265	1	وتم	وتم	PROPN
iajs-64	265	2	اثبات	اثبات	PROPN
iajs-64	265	3	عدة	عدة	VERB
iajs-64	265	4	وقد	وقد	PROPN
iajs-64	265	5	تمت	تمت	PROPN
iajs-64	265	6	دراسة	دراسة	PROPN
iajs-64	265	7	العالقة	العالقة	PROPN
iajs-64	265	8	nالمفتوحة	nالمفتوحة	PROPN
iajs-64	265	9	الضعيفة	الضعيفة	PROPN
iajs-64	265	10	نتائج	نتائج	PROPN
iajs-64	265	11	عنهم	عنهم	VERB
iajs-64	265	12	.	.	PUNCT
iajs-64	265	13	,	,	PUNCT
iajs-64	265	14			NOUN
iajs-64	265	15	,	,	PUNCT
iajs-64	265	16	المجموعات	المجموعات	NOUN
iajs-64	265	17	شبه	شبه	NOUN
iajs-64	265	18	المفتوحة	المفتوحة	NOUN
iajs-64	265	19	,	,	PUNCT
iajs-64	265	20	المجموعات	المجموعات	ADJ
iajs-64	265	21	المفتوحة	المفتوحة	NOUN
iajs-64	265	22	من	من	PRON
iajs-64	265	23	النمط	النمط	NOUN
iajs-64	265	24	nالمجموعات	nالمجموعات	ADJ
iajs-64	265	25	المفتوحة	المفتوحة	PROPN
iajs-64	265	26	من	من	PRON
iajs-64	265	27	النمط	النمط	NOUN
iajs-64	265	28	الكلمات	الكلمات	VERB
iajs-64	265	29	المفتاحية	المفتاحية	NOUN
iajs-64	265	30	:	:	PUNCT
iajs-64	265	31	.bالمجموعات	.bالمجموعات	X
iajs-64	265	32	المفتوحة	المفتوحة	NOUN
iajs-64	265	33	من	من	PRON
iajs-64	265	34	النمط	النمط	NOUN
iajs-64	265	35	,	,	PUNCT
iajs-64	265	36	المجموعات	المجموعات	X
iajs-64	265	37	المفتوحة	المفتوحة	NOUN
iajs-64	265	38	من	من	PRON
iajs-64	265	39	النمط	النمط	NOUN
iajs-64	265	40	,	,	PUNCT
iajs-64	265	41	βالمجموعات	βالمجموعات	PRON
iajs-64	265	42	المفتوحة	المفتوحة	NOUN
iajs-64	265	43	من	من	PRON
iajs-64	265	44	النمط	النمط	NOUN