id	sid	tid	token	lemma	pos
iajs-950	1	1	ibn	ibn	PROPN
iajs-950	1	2	alhaitham	alhaitham	NOUN
iajs-950	1	3	j.	j.	PROPN
iajs-950	1	4	for	for	ADP
iajs-950	1	5	pure	pure	ADJ
iajs-950	1	6	&	&	CCONJ
iajs-950	1	7	appl	appl	PROPN
iajs-950	1	8	.	.	PUNCT
iajs-950	2	1	sci	sci	PROPN
iajs-950	2	2	.	.	PUNCT
iajs-950	3	1	vol.23	vol.23	PROPN
iajs-950	3	2	(	(	PUNCT
iajs-950	3	3	2	2	NUM
iajs-950	3	4	)	)	PUNCT
iajs-950	3	5	2010	2010	NUM
iajs-950	3	6	ij----pppeeerrrfffeeecccttt	ij----pppeeerrrfffeeecccttt	PROPN
iajs-950	4	1	fffuuunnnccctttiiiooonnnsss	fffuuunnnccctttiiiooonnnsss	NOUN
iajs-950	4	2	bbbeeetttwwweeeeeennn	bbbeeetttwwweeeeeennn	VERB
iajs-950	4	3	bbbiiitttooopppooolllooogggiiicccaaalll	bbbiiitttooopppooolllooogggiiicccaaalll	NOUN
iajs-950	4	4	ssspppaaaccceeesss	ssspppaaaccceeesss	NOUN
iajs-950	4	5	y.	y.	PROPN
iajs-950	4	6	y.	y.	PROPN
iajs-950	4	7	yousif	yousif	PROPN
iajs-950	4	8	and	and	CCONJ
iajs-950	4	9	n.	n.	PROPN
iajs-950	4	10	s.	s.	PROPN
iajs-950	4	11	jassim	jassim	PROPN
iajs-950	4	12	department	department	PROPN
iajs-950	4	13	of	of	ADP
iajs-950	4	14	mathematics	mathematics	PROPN
iajs-950	4	15	,	,	PUNCT
iajs-950	4	16	college	college	NOUN
iajs-950	4	17	of	of	ADP
iajs-950	4	18	educationibn	educationibn	PROPN
iajs-950	4	19	alhaitham	alhaitham	PROPN
iajs-950	4	20	,	,	PUNCT
iajs-950	4	21	university	university	NOUN
iajs-950	4	22	of	of	ADP
iajs-950	4	23	baghdad	baghdad	PROPN
iajs-950	4	24	abstract	abstract	ADV
iajs-950	4	25	in	in	ADP
iajs-950	4	26	this	this	DET
iajs-950	4	27	paper	paper	NOUN
iajs-950	4	28	we	we	PRON
iajs-950	4	29	introduce	introduce	VERB
iajs-950	4	30	a	a	DET
iajs-950	4	31	lot	lot	NOUN
iajs-950	4	32	of	of	ADP
iajs-950	4	33	concepts	concept	NOUN
iajs-950	4	34	in	in	ADP
iajs-950	4	35	bitopological	bitopological	ADJ
iajs-950	4	36	spaces	space	NOUN
iajs-950	4	37	which	which	PRON
iajs-950	4	38	are	be	AUX
iajs-950	4	39	ij	ij	NOUN
iajs-950	4	40	-	-	NOUN
iajs-950	4	41	ωconverges	ωconverge	NOUN
iajs-950	4	42	to	to	ADP
iajs-950	4	43	a	a	DET
iajs-950	4	44	subset	subset	NOUN
iajs-950	4	45	,	,	PUNCT
iajs-950	4	46	ij	ij	ADJ
iajs-950	4	47	-	-	PUNCT
iajs-950	4	48	ω	ω	NOUN
iajs-950	4	49	-	-	PUNCT
iajs-950	4	50	directed	direct	VERB
iajs-950	4	51	toward	toward	ADP
iajs-950	4	52	a	a	DET
iajs-950	4	53	set	set	NOUN
iajs-950	4	54	,	,	PUNCT
iajs-950	4	55	ij--closed	ij--close	VERB
iajs-950	4	56	functions	function	NOUN
iajs-950	4	57	,	,	PUNCT
iajs-950	4	58	ij--rigid	ij--rigid	PROPN
iajs-950	4	59	set	set	NOUN
iajs-950	4	60	,	,	PUNCT
iajs-950	4	61	ij-continuous	ij-continuous	ADJ
iajs-950	4	62	functions	function	NOUN
iajs-950	4	63	and	and	CCONJ
iajs-950	4	64	the	the	DET
iajs-950	4	65	main	main	ADJ
iajs-950	4	66	concept	concept	NOUN
iajs-950	4	67	in	in	ADP
iajs-950	4	68	this	this	DET
iajs-950	4	69	paper	paper	NOUN
iajs-950	4	70	is	be	AUX
iajs-950	4	71	ij--perfect	ij--perfect	NOUN
iajs-950	4	72	functions	function	NOUN
iajs-950	4	73	between	between	ADP
iajs-950	4	74	bitopological	bitopological	ADJ
iajs-950	4	75	spaces	space	NOUN
iajs-950	4	76	.	.	PUNCT
iajs-950	5	1	several	several	ADJ
iajs-950	5	2	theorems	theorem	NOUN
iajs-950	5	3	and	and	CCONJ
iajs-950	5	4	characterizations	characterization	NOUN
iajs-950	5	5	concerning	concern	VERB
iajs-950	5	6	these	these	DET
iajs-950	5	7	concepts	concept	NOUN
iajs-950	5	8	are	be	AUX
iajs-950	5	9	studied	study	VERB
iajs-950	5	10	.	.	PUNCT
iajs-950	6	1	1	1	X
iajs-950	6	2	.	.	X
iajs-950	6	3	introduction	introduction	NOUN
iajs-950	6	4	and	and	CCONJ
iajs-950	6	5	preliminaries	preliminary	NOUN
iajs-950	6	6	a	a	DET
iajs-950	6	7	set	set	NOUN
iajs-950	6	8	x	x	PUNCT
iajs-950	6	9	with	with	ADP
iajs-950	6	10	two	two	NUM
iajs-950	6	11	topologies	topology	NOUN
iajs-950	6	12	1	1	PUNCT
iajs-950	6	13	and	and	CCONJ
iajs-950	6	14	2	2	PROPN
iajs-950	6	15	is	be	AUX
iajs-950	6	16	called	call	VERB
iajs-950	6	17	bitopological	bitopological	ADJ
iajs-950	6	18	space	space	NOUN
iajs-950	6	19	[	[	X
iajs-950	6	20	1	1	NUM
iajs-950	6	21	]	]	PUNCT
iajs-950	6	22	and	and	CCONJ
iajs-950	6	23	is	be	AUX
iajs-950	6	24	denoted	denote	VERB
iajs-950	6	25	by	by	ADP
iajs-950	6	26	(	(	PUNCT
iajs-950	6	27	x	x	NOUN
iajs-950	6	28	,	,	PUNCT
iajs-950	6	29	1	1	ADJ
iajs-950	6	30	,	,	PUNCT
iajs-950	6	31	2	2	PROPN
iajs-950	6	32	)	)	PUNCT
iajs-950	6	33	.	.	PUNCT
iajs-950	7	1	the	the	DET
iajs-950	7	2	closure	closure	NOUN
iajs-950	7	3	and	and	CCONJ
iajs-950	7	4	interior	interior	NOUN
iajs-950	7	5	of	of	ADP
iajs-950	7	6	a	a	PRON
iajs-950	7	7	in	in	ADP
iajs-950	7	8	(	(	PUNCT
iajs-950	7	9	x	x	NOUN
iajs-950	7	10	,	,	PUNCT
iajs-950	7	11	i	i	NOUN
iajs-950	7	12	)	)	PUNCT
iajs-950	7	13	is	be	AUX
iajs-950	7	14	denoted	denote	VERB
iajs-950	7	15	by	by	ADP
iajs-950	7	16	i	i	NOUN
iajs-950	7	17	-	-	PUNCT
iajs-950	7	18	cl(a	cl(a	NUM
iajs-950	7	19	)	)	PUNCT
iajs-950	7	20	and	and	CCONJ
iajs-950	7	21	i	i	NOUN
iajs-950	7	22	-	-	PUNCT
iajs-950	7	23	int(a	int(a	NOUN
iajs-950	7	24	)	)	PUNCT
iajs-950	7	25	,	,	PUNCT
iajs-950	7	26	where	where	SCONJ
iajs-950	7	27	i=1	i=1	PROPN
iajs-950	7	28	,	,	PUNCT
iajs-950	7	29	2	2	X
iajs-950	7	30	.	.	X
iajs-950	7	31	for	for	ADP
iajs-950	7	32	other	other	ADJ
iajs-950	7	33	notions	notion	NOUN
iajs-950	7	34	or	or	CCONJ
iajs-950	7	35	notations	notation	NOUN
iajs-950	7	36	not	not	PART
iajs-950	7	37	defined	define	VERB
iajs-950	7	38	here	here	ADV
iajs-950	7	39	we	we	PRON
iajs-950	7	40	follow	follow	VERB
iajs-950	7	41	closely	closely	ADV
iajs-950	7	42	r.	r.	PROPN
iajs-950	7	43	engelking	engelke	VERB
iajs-950	7	44	[	[	X
iajs-950	7	45	2	2	NUM
iajs-950	7	46	]	]	PUNCT
iajs-950	7	47	.	.	PUNCT
iajs-950	8	1	definition	definition	NOUN
iajs-950	8	2	:	:	PUNCT
iajs-950	8	3	1.1	1.1	NUM
iajs-950	8	4	.	.	PUNCT
iajs-950	9	1	[	[	X
iajs-950	9	2	3	3	NUM
iajs-950	9	3	]	]	PUNCT
iajs-950	9	4	.	.	PUNCT
iajs-950	10	1	a	a	DET
iajs-950	10	2	filter	filter	NOUN
iajs-950	10	3			NOUN
iajs-950	10	4	on	on	ADP
iajs-950	10	5	a	a	DET
iajs-950	10	6	set	set	NOUN
iajs-950	10	7	x	x	PUNCT
iajs-950	10	8	is	be	AUX
iajs-950	10	9	a	a	DET
iajs-950	10	10	nonempty	nonempty	ADJ
iajs-950	10	11	collection	collection	NOUN
iajs-950	10	12	of	of	ADP
iajs-950	10	13	nonempty	nonempty	ADJ
iajs-950	10	14	subsets	subset	NOUN
iajs-950	10	15	of	of	ADP
iajs-950	10	16	x	x	PUNCT
iajs-950	10	17	with	with	ADP
iajs-950	10	18	the	the	DET
iajs-950	10	19	properties	property	NOUN
iajs-950	10	20	:	:	PUNCT
iajs-950	10	21	(	(	PUNCT
iajs-950	10	22	a	a	X
iajs-950	10	23	)	)	PUNCT
iajs-950	10	24	if	if	SCONJ
iajs-950	10	25	f1	f1	PROPN
iajs-950	10	26	,	,	PUNCT
iajs-950	10	27	f2	f2	PROPN
iajs-950	10	28	,	,	PUNCT
iajs-950	10	29	then	then	ADV
iajs-950	10	30	f1∩f2	f1∩f2	PROPN
iajs-950	10	31	,	,	PUNCT
iajs-950	10	32	(	(	PUNCT
iajs-950	10	33	b	b	X
iajs-950	10	34	)	)	PUNCT
iajs-950	10	35	if	if	SCONJ
iajs-950	10	36	f	f	NOUN
iajs-950	10	37	and	and	CCONJ
iajs-950	10	38	ff*x	ff*x	NOUN
iajs-950	10	39	,	,	PUNCT
iajs-950	10	40	then	then	ADV
iajs-950	10	41	f*.	f*.	VERB
iajs-950	10	42	definition	definition	NOUN
iajs-950	10	43	:	:	PUNCT
iajs-950	10	44	1.2	1.2	NUM
iajs-950	10	45	.	.	PUNCT
iajs-950	11	1	[	[	X
iajs-950	11	2	3	3	NUM
iajs-950	11	3	]	]	PUNCT
iajs-950	11	4	.	.	PUNCT
iajs-950	12	1	a	a	DET
iajs-950	12	2	filter	filter	NOUN
iajs-950	12	3	base	base	NOUN
iajs-950	12	4			NOUN
iajs-950	12	5	on	on	ADP
iajs-950	12	6	a	a	DET
iajs-950	12	7	set	set	NOUN
iajs-950	12	8	x	x	PUNCT
iajs-950	12	9	is	be	AUX
iajs-950	12	10	a	a	DET
iajs-950	12	11	nonempty	nonempty	ADJ
iajs-950	12	12	collection	collection	NOUN
iajs-950	12	13	of	of	ADP
iajs-950	12	14	nonempty	nonempty	ADJ
iajs-950	12	15	subsets	subset	NOUN
iajs-950	12	16	of	of	ADP
iajs-950	12	17	x	x	SYM
iajs-950	12	18	such	such	ADJ
iajs-950	12	19	that	that	SCONJ
iajs-950	12	20	if	if	SCONJ
iajs-950	12	21	f1	f1	PROPN
iajs-950	12	22	,	,	PUNCT
iajs-950	12	23	f2	f2	PROPN
iajs-950	12	24	then	then	ADV
iajs-950	12	25	f3f1∩f2	f3f1∩f2	PROPN
iajs-950	12	26	for	for	ADP
iajs-950	12	27	some	some	DET
iajs-950	12	28	f3.	f3.	NUM
iajs-950	12	29	definition	definition	NOUN
iajs-950	12	30	:	:	PUNCT
iajs-950	12	31	1.3	1.3	NUM
iajs-950	12	32	.	.	PUNCT
iajs-950	13	1	[	[	X
iajs-950	13	2	3	3	NUM
iajs-950	13	3	]	]	PUNCT
iajs-950	13	4	.	.	PUNCT
iajs-950	14	1	if	if	SCONJ
iajs-950	14	2			NOUN
iajs-950	14	3	and	and	CCONJ
iajs-950	14	4	g	g	NOUN
iajs-950	14	5	are	be	AUX
iajs-950	14	6	filter	filter	NOUN
iajs-950	14	7	bases	basis	NOUN
iajs-950	14	8	on	on	ADP
iajs-950	14	9	x	x	NOUN
iajs-950	14	10	,	,	PUNCT
iajs-950	14	11	we	we	PRON
iajs-950	14	12	say	say	VERB
iajs-950	14	13	that	that	SCONJ
iajs-950	14	14	g	g	PROPN
iajs-950	14	15	is	be	AUX
iajs-950	14	16	finer	fine	ADJ
iajs-950	14	17	than	than	ADP
iajs-950	14	18			NOUN
iajs-950	14	19	(	(	PUNCT
iajs-950	14	20	written	write	VERB
iajs-950	14	21	as	as	ADP
iajs-950	14	22			NOUN
iajs-950	14	23	<	<	X
iajs-950	14	24	g	g	NOUN
iajs-950	14	25	)	)	PUNCT
iajs-950	14	26	if	if	SCONJ
iajs-950	14	27	for	for	ADP
iajs-950	14	28	each	each	DET
iajs-950	14	29	f	f	NOUN
iajs-950	14	30	,	,	PUNCT
iajs-950	14	31	there	there	PRON
iajs-950	14	32	is	be	VERB
iajs-950	14	33	gg	gg	PROPN
iajs-950	14	34	such	such	ADJ
iajs-950	14	35	that	that	DET
iajs-950	14	36	gf	gf	ADJ
iajs-950	14	37	and	and	CCONJ
iajs-950	14	38	that	that	SCONJ
iajs-950	14	39			NOUN
iajs-950	14	40	meets	meet	VERB
iajs-950	14	41	g	g	NOUN
iajs-950	14	42	if	if	SCONJ
iajs-950	14	43	f∩g	f∩g	NOUN
iajs-950	14	44	for	for	ADP
iajs-950	14	45	every	every	DET
iajs-950	14	46	f	f	NOUN
iajs-950	14	47	and	and	CCONJ
iajs-950	14	48	gg	gg	PROPN
iajs-950	14	49	.	.	PUNCT
iajs-950	15	1	definition	definition	NOUN
iajs-950	15	2	:	:	PUNCT
iajs-950	15	3	1.4	1.4	NUM
iajs-950	15	4	.	.	PUNCT
iajs-950	16	1	[	[	X
iajs-950	16	2	3	3	NUM
iajs-950	16	3	]	]	PUNCT
iajs-950	16	4	.	.	PUNCT
iajs-950	17	1	a	a	DET
iajs-950	17	2	point	point	NOUN
iajs-950	17	3	x	x	PUNCT
iajs-950	17	4	of	of	ADP
iajs-950	17	5	a	a	DET
iajs-950	17	6	space	space	NOUN
iajs-950	17	7	x	x	PUNCT
iajs-950	17	8	is	be	AUX
iajs-950	17	9	called	call	VERB
iajs-950	17	10	a	a	DET
iajs-950	17	11	condensation	condensation	NOUN
iajs-950	17	12	point	point	NOUN
iajs-950	17	13	of	of	ADP
iajs-950	17	14	the	the	DET
iajs-950	17	15	set	set	VERB
iajs-950	17	16	ax	ax	NOUN
iajs-950	17	17	if	if	SCONJ
iajs-950	17	18	every	every	DET
iajs-950	17	19	nbd	nbd	PROPN
iajs-950	17	20	of	of	ADP
iajs-950	17	21	the	the	DET
iajs-950	17	22	point	point	NOUN
iajs-950	17	23	x	x	PUNCT
iajs-950	17	24	contains	contain	VERB
iajs-950	17	25	an	an	DET
iajs-950	17	26	uncountable	uncountable	ADJ
iajs-950	17	27	subset	subset	NOUN
iajs-950	17	28	of	of	ADP
iajs-950	17	29	this	this	DET
iajs-950	17	30	set	set	NOUN
iajs-950	17	31	.	.	PUNCT
iajs-950	18	1	clearly	clearly	ADV
iajs-950	18	2	the	the	DET
iajs-950	18	3	set	set	NOUN
iajs-950	18	4	of	of	ADP
iajs-950	18	5	all	all	DET
iajs-950	18	6	condensation	condensation	NOUN
iajs-950	18	7	points	point	NOUN
iajs-950	18	8	of	of	ADP
iajs-950	18	9	a	a	DET
iajs-950	18	10	set	set	NOUN
iajs-950	18	11	a	a	PRON
iajs-950	18	12	is	be	AUX
iajs-950	18	13	closed	closed	ADJ
iajs-950	18	14	.	.	PUNCT
iajs-950	19	1	definition	definition	NOUN
iajs-950	19	2	:	:	PUNCT
iajs-950	19	3	1.5	1.5	NUM
iajs-950	19	4	.	.	PUNCT
iajs-950	20	1	[	[	X
iajs-950	20	2	4	4	NUM
iajs-950	20	3	]	]	PUNCT
iajs-950	20	4	.	.	PUNCT
iajs-950	21	1	a	a	DET
iajs-950	21	2	subset	subset	NOUN
iajs-950	21	3	of	of	ADP
iajs-950	21	4	a	a	DET
iajs-950	21	5	space	space	NOUN
iajs-950	21	6	x	x	PUNCT
iajs-950	21	7	is	be	AUX
iajs-950	21	8	called	call	VERB
iajs-950	21	9	ω	ω	NOUN
iajs-950	21	10	-	-	PUNCT
iajs-950	21	11	closed	closed	ADJ
iajs-950	21	12	if	if	SCONJ
iajs-950	21	13	it	it	PRON
iajs-950	21	14	contains	contain	VERB
iajs-950	21	15	all	all	DET
iajs-950	21	16	its	its	PRON
iajs-950	21	17	condensation	condensation	NOUN
iajs-950	21	18	points	point	NOUN
iajs-950	21	19	.	.	PUNCT
iajs-950	22	1	also	also	ADV
iajs-950	22	2	clω(a	clω(a	X
iajs-950	22	3	)	)	PUNCT
iajs-950	22	4	will	will	AUX
iajs-950	22	5	denote	denote	VERB
iajs-950	22	6	the	the	DET
iajs-950	22	7	intersection	intersection	NOUN
iajs-950	22	8	of	of	ADP
iajs-950	22	9	all	all	DET
iajs-950	22	10	ω	ω	ADJ
iajs-950	22	11	-	-	PUNCT
iajs-950	22	12	closed	close	VERB
iajs-950	22	13	sets	set	NOUN
iajs-950	22	14	which	which	PRON
iajs-950	22	15	contains	contain	VERB
iajs-950	22	16	a.	a.	NOUN
iajs-950	22	17	i.e.	i.e.	X
iajs-950	22	18	,	,	PUNCT
iajs-950	22	19	clω(a)=∩{f	clω(a)=∩{f	PROPN
iajs-950	22	20	:	:	PUNCT
iajs-950	22	21	f	f	PROPN
iajs-950	22	22	is	be	AUX
iajs-950	22	23	ω	ω	NOUN
iajs-950	22	24	-	-	PUNCT
iajs-950	22	25	closed	closed	ADJ
iajs-950	22	26	and	and	CCONJ
iajs-950	22	27	af	af	PROPN
iajs-950	22	28	}	}	PUNCT
iajs-950	22	29	,	,	PUNCT
iajs-950	22	30	then	then	ADV
iajs-950	22	31	a	a	PRON
iajs-950	22	32	is	be	AUX
iajs-950	22	33	ω	ω	NOUN
iajs-950	22	34	-	-	PUNCT
iajs-950	22	35	closed	closed	ADJ
iajs-950	22	36	iff	iff	PROPN
iajs-950	22	37	a	a	DET
iajs-950	22	38	=	=	NOUN
iajs-950	22	39	clω(a	clω(a	NOUN
iajs-950	22	40	)	)	PUNCT
iajs-950	22	41	.	.	PUNCT
iajs-950	23	1	2	2	X
iajs-950	23	2	.	.	X
iajs-950	23	3	ij--perfect	ij--perfect	NOUN
iajs-950	23	4	functions	function	NOUN
iajs-950	23	5	between	between	ADP
iajs-950	23	6	bitopological	bitopological	ADJ
iajs-950	23	7	spaces	space	NOUN
iajs-950	23	8	in	in	ADP
iajs-950	23	9	this	this	DET
iajs-950	23	10	section	section	NOUN
iajs-950	23	11	a	a	DET
iajs-950	23	12	number	number	NOUN
iajs-950	23	13	of	of	ADP
iajs-950	23	14	useful	useful	ADJ
iajs-950	23	15	results	result	NOUN
iajs-950	23	16	about	about	ADP
iajs-950	23	17	ij	ij	NOUN
iajs-950	23	18	-	-	PUNCT
iajs-950	23	19	ω	ω	NOUN
iajs-950	23	20	-	-	NOUN
iajs-950	23	21	converges	converge	NOUN
iajs-950	23	22	to	to	ADP
iajs-950	23	23	a	a	DET
iajs-950	23	24	subset	subset	NOUN
iajs-950	23	25	,	,	PUNCT
iajs-950	23	26	ij	ij	NOUN
iajs-950	23	27	-	-	ADJ
iajs-950	23	28	ωdirected	ωdirected	ADJ
iajs-950	23	29	toward	toward	ADP
iajs-950	23	30	a	a	DET
iajs-950	23	31	set	set	NOUN
iajs-950	23	32	,	,	PUNCT
iajs-950	23	33	ij--closed	ij--close	VERB
iajs-950	23	34	functions	function	NOUN
iajs-950	23	35	,	,	PUNCT
iajs-950	23	36	ij--rigid	ij--rigid	PROPN
iajs-950	23	37	set	set	NOUN
iajs-950	23	38	,	,	PUNCT
iajs-950	23	39	and	and	CCONJ
iajs-950	23	40	ij--continuous	ij--continuous	ADJ
iajs-950	23	41	functions	function	NOUN
iajs-950	23	42	are	be	AUX
iajs-950	23	43	derived	derive	VERB
iajs-950	23	44	and	and	CCONJ
iajs-950	23	45	used	use	VERB
iajs-950	23	46	to	to	PART
iajs-950	23	47	obtain	obtain	VERB
iajs-950	23	48	characterization	characterization	NOUN
iajs-950	23	49	theorem	theorem	NOUN
iajs-950	23	50	for	for	ADP
iajs-950	23	51	an	an	DET
iajs-950	23	52	ij--perfect	ij--perfect	ADJ
iajs-950	23	53	functions	function	NOUN
iajs-950	23	54	between	between	ADP
iajs-950	23	55	bitopological	bitopological	ADJ
iajs-950	23	56	spaces	space	NOUN
iajs-950	23	57	.	.	PUNCT
iajs-950	24	1	definition	definition	NOUN
iajs-950	24	2	:	:	PUNCT
iajs-950	24	3	2.1	2.1	NUM
iajs-950	24	4	.	.	PUNCT
iajs-950	25	1	a	a	DET
iajs-950	25	2	point	point	NOUN
iajs-950	25	3	x	x	X
iajs-950	25	4	in	in	ADP
iajs-950	25	5	bitopological	bitopological	ADJ
iajs-950	25	6	space	space	NOUN
iajs-950	25	7	(	(	PUNCT
iajs-950	25	8	x	x	X
iajs-950	25	9	,	,	PUNCT
iajs-950	25	10	1	1	ADJ
iajs-950	25	11	,	,	PUNCT
iajs-950	25	12	2	2	PROPN
iajs-950	25	13	)	)	PUNCT
iajs-950	25	14	is	be	AUX
iajs-950	25	15	called	call	VERB
iajs-950	25	16	an	an	DET
iajs-950	25	17	ij	ij	ADJ
iajs-950	25	18	-	-	PUNCT
iajs-950	25	19	ω	ω	NOUN
iajs-950	25	20	-	-	PUNCT
iajs-950	25	21	condensation	condensation	NOUN
iajs-950	25	22	point	point	NOUN
iajs-950	25	23	of	of	ADP
iajs-950	25	24	a	a	DET
iajs-950	25	25	subset	subset	NOUN
iajs-950	25	26	a	a	PRON
iajs-950	25	27	of	of	ADP
iajs-950	25	28	x	x	SYM
iajs-950	25	29	iff	iff	PROPN
iajs-950	25	30	for	for	ADP
iajs-950	25	31	any	any	DET
iajs-950	25	32	i	i	NOUN
iajs-950	25	33	-	-	ADJ
iajs-950	25	34	open	open	ADJ
iajs-950	25	35	nbd	nbd	PROPN
iajs-950	25	36	u	u	PROPN
iajs-950	25	37	of	of	ADP
iajs-950	25	38	x	x	PRON
iajs-950	25	39	,	,	PUNCT
iajs-950	25	40	(	(	PUNCT
iajs-950	25	41	j	j	NOUN
iajs-950	25	42	-	-	PUNCT
iajs-950	25	43	clω(u))a.	clω(u))a.	NOUN
iajs-950	25	44	the	the	DET
iajs-950	25	45	set	set	NOUN
iajs-950	25	46	of	of	ADP
iajs-950	25	47	all	all	DET
iajs-950	25	48	ij-condensation	ij-condensation	NOUN
iajs-950	25	49	points	point	NOUN
iajs-950	25	50	of	of	ADP
iajs-950	25	51	a	a	PRON
iajs-950	25	52	is	be	AUX
iajs-950	25	53	called	call	VERB
iajs-950	25	54	the	the	DET
iajs-950	25	55	ij	ij	ADJ
iajs-950	25	56	-	-	PUNCT
iajs-950	25	57	ω	ω	NOUN
iajs-950	25	58	-	-	NOUN
iajs-950	25	59	closure	closure	NOUN
iajs-950	25	60	of	of	ADP
iajs-950	25	61	a	a	PRON
iajs-950	25	62	and	and	CCONJ
iajs-950	25	63	denoted	denote	VERB
iajs-950	25	64	by	by	ADP
iajs-950	25	65	ij	ij	NOUN
iajs-950	25	66	-	-	PUNCT
iajs-950	25	67	ω	ω	NOUN
iajs-950	25	68	-	-	PUNCT
iajs-950	25	69	cl	cl	NOUN
iajs-950	25	70	ω	ω	NOUN
iajs-950	25	71	(	(	PUNCT
iajs-950	25	72	a	a	NOUN
iajs-950	25	73	)	)	PUNCT
iajs-950	25	74	.	.	PUNCT
iajs-950	26	1	a	a	DET
iajs-950	26	2	set	set	NOUN
iajs-950	26	3	ax	ax	PROPN
iajs-950	26	4	is	be	AUX
iajs-950	26	5	called	call	VERB
iajs-950	26	6	ij	ij	PROPN
iajs-950	26	7	-	-	PUNCT
iajs-950	26	8	ω	ω	NOUN
iajs-950	26	9	-	-	PUNCT
iajs-950	26	10	closed	closed	ADJ
iajs-950	26	11	if	if	SCONJ
iajs-950	26	12	a	a	DET
iajs-950	26	13	=	=	ADJ
iajs-950	26	14	ij	ij	NOUN
iajs-950	26	15	-	-	PUNCT
iajs-950	26	16	ω	ω	NOUN
iajs-950	26	17	-	-	PUNCT
iajs-950	26	18	cl	cl	NOUN
iajs-950	26	19	ω(a	ω(a	NUM
iajs-950	26	20	)	)	PUNCT
iajs-950	26	21	.	.	PUNCT
iajs-950	27	1	definition	definition	NOUN
iajs-950	27	2	:	:	PUNCT
iajs-950	27	3	2.2	2.2	NUM
iajs-950	27	4	.	.	PUNCT
iajs-950	28	1	a	a	DET
iajs-950	28	2	point	point	NOUN
iajs-950	28	3	x	x	X
iajs-950	28	4	in	in	ADP
iajs-950	28	5	bitopological	bitopological	ADJ
iajs-950	28	6	space	space	NOUN
iajs-950	28	7	(	(	PUNCT
iajs-950	28	8	x	x	X
iajs-950	28	9	,	,	PUNCT
iajs-950	28	10	1	1	ADJ
iajs-950	28	11	,	,	PUNCT
iajs-950	28	12	2	2	PROPN
iajs-950	28	13	)	)	PUNCT
iajs-950	28	14	is	be	AUX
iajs-950	28	15	called	call	VERB
iajs-950	28	16	an	an	DET
iajs-950	28	17	ij	ij	ADJ
iajs-950	28	18	-	-	PUNCT
iajs-950	28	19	ω	ω	NOUN
iajs-950	28	20	-	-	PUNCT
iajs-950	28	21	condensation	condensation	NOUN
iajs-950	28	22	point	point	NOUN
iajs-950	28	23	of	of	ADP
iajs-950	28	24	a	a	DET
iajs-950	28	25	filter	filter	NOUN
iajs-950	28	26	base	base	NOUN
iajs-950	28	27			NOUN
iajs-950	28	28	on	on	ADP
iajs-950	28	29	x	x	SYM
iajs-950	28	30	if	if	SCONJ
iajs-950	28	31	it	it	PRON
iajs-950	28	32	is	be	AUX
iajs-950	28	33	an	an	DET
iajs-950	28	34	ij	ij	ADJ
iajs-950	28	35	-	-	PUNCT
iajs-950	28	36	ω	ω	NOUN
iajs-950	28	37	-	-	PUNCT
iajs-950	28	38	condensation	condensation	NOUN
iajs-950	28	39	point	point	NOUN
iajs-950	28	40	of	of	ADP
iajs-950	28	41	every	every	DET
iajs-950	28	42	number	number	NOUN
iajs-950	28	43	of	of	ADP
iajs-950	28	44	.	.	PROPN
iajs-950	28	45	the	the	DET
iajs-950	28	46	set	set	NOUN
iajs-950	28	47	of	of	ADP
iajs-950	28	48	all	all	DET
iajs-950	28	49	ij	ij	PROPN
iajs-950	28	50	-	-	PUNCT
iajs-950	28	51	ω	ω	NOUN
iajs-950	28	52	-	-	PUNCT
iajs-950	28	53	condensation	condensation	NOUN
iajs-950	28	54	points	point	NOUN
iajs-950	28	55	of	of	ADP
iajs-950	28	56			NOUN
iajs-950	28	57	is	be	AUX
iajs-950	28	58	called	call	VERB
iajs-950	28	59	ij	ij	PROPN
iajs-950	28	60	-	-	PUNCT
iajs-950	28	61	ω	ω	NOUN
iajs-950	28	62	-	-	PUNCT
iajs-950	28	63	condensed	condense	VERB
iajs-950	28	64	of	of	ADP
iajs-950	28	65			NOUN
iajs-950	28	66	and	and	CCONJ
iajs-950	28	67	is	be	AUX
iajs-950	28	68	denoted	denote	VERB
iajs-950	28	69	by	by	ADP
iajs-950	28	70	ij	ij	NOUN
iajs-950	28	71	-	-	PUNCT
iajs-950	28	72	ωcod.	ωcod.	NOUN
iajs-950	28	73	ihjpas	ihjpa	VERB
iajs-950	28	74	ibn	ibn	PROPN
iajs-950	28	75	alhaitham	alhaitham	PROPN
iajs-950	28	76	j.	j.	PROPN
iajs-950	28	77	for	for	ADP
iajs-950	28	78	pure	pure	ADJ
iajs-950	28	79	&	&	CCONJ
iajs-950	28	80	appl	appl	PROPN
iajs-950	28	81	.	.	PUNCT
iajs-950	29	1	sci	sci	PROPN
iajs-950	29	2	.	.	PUNCT
iajs-950	30	1	vol.23	vol.23	PROPN
iajs-950	30	2	(	(	PUNCT
iajs-950	30	3	2	2	NUM
iajs-950	30	4	)	)	PUNCT
iajs-950	30	5	2010	2010	NUM
iajs-950	30	6	definition	definition	NOUN
iajs-950	30	7	:	:	PUNCT
iajs-950	30	8	2.3	2.3	NUM
iajs-950	30	9	.	.	PUNCT
iajs-950	31	1	a	a	DET
iajs-950	31	2	filter	filter	NOUN
iajs-950	31	3	base	base	NOUN
iajs-950	31	4			NOUN
iajs-950	31	5	on	on	ADP
iajs-950	31	6	bitopological	bitopological	ADJ
iajs-950	31	7	space	space	NOUN
iajs-950	31	8	(	(	PUNCT
iajs-950	31	9	x	x	X
iajs-950	31	10	,	,	PUNCT
iajs-950	31	11	1	1	ADJ
iajs-950	31	12	,	,	PUNCT
iajs-950	31	13	2	2	PROPN
iajs-950	31	14	)	)	PUNCT
iajs-950	31	15	is	be	AUX
iajs-950	31	16	said	say	VERB
iajs-950	31	17	to	to	PART
iajs-950	31	18	be	be	AUX
iajs-950	31	19	ij	ij	ADJ
iajs-950	31	20	-	-	PUNCT
iajs-950	31	21	ω	ω	NOUN
iajs-950	31	22	-	-	NOUN
iajs-950	31	23	converges	converge	NOUN
iajs-950	31	24	to	to	ADP
iajs-950	31	25	a	a	DET
iajs-950	31	26	subset	subset	ADJ
iajs-950	31	27	ax	ax	NOUN
iajs-950	31	28	(	(	PUNCT
iajs-950	31	29	written	write	VERB
iajs-950	31	30	as	as	ADP
iajs-950	31	31			NOUN
iajs-950	31	32			ADP
iajs-950	31	33	ij	ij	X
iajs-950	31	34	a	a	X
iajs-950	31	35	)	)	PUNCT
iajs-950	31	36	if	if	SCONJ
iajs-950	31	37	for	for	ADP
iajs-950	31	38	every	every	DET
iajs-950	31	39	i	i	NOUN
iajs-950	31	40	-	-	ADJ
iajs-950	31	41	open	open	ADJ
iajs-950	31	42	cover	cover	VERB
iajs-950	31	43	a	a	PRON
iajs-950	31	44	of	of	ADP
iajs-950	31	45	a	a	PRON
iajs-950	31	46	,	,	PUNCT
iajs-950	31	47	there	there	PRON
iajs-950	31	48	is	be	VERB
iajs-950	31	49	a	a	DET
iajs-950	31	50	finite	finite	NOUN
iajs-950	31	51	subfamily	subfamily	ADV
iajs-950	31	52	b	b	NOUN
iajs-950	31	53	a	a	NOUN
iajs-950	31	54	and	and	CCONJ
iajs-950	31	55	f	f	NOUN
iajs-950	31	56	such	such	ADJ
iajs-950	31	57	that	that	SCONJ
iajs-950	31	58	f{i	f{i	PROPN
iajs-950	31	59	-	-	PUNCT
iajs-950	31	60	clω(b	clω(b	PROPN
iajs-950	31	61	)	)	PUNCT
iajs-950	31	62	:	:	PUNCT
iajs-950	32	1	bb	bb	PUNCT
iajs-950	32	2	}	}	PUNCT
iajs-950	32	3	.	.	PUNCT
iajs-950	33	1	we	we	PRON
iajs-950	33	2	say	say	VERB
iajs-950	33	3			NOUN
iajs-950	33	4	ij	ij	ADJ
iajs-950	33	5	-	-	PUNCT
iajs-950	33	6	ω	ω	NOUN
iajs-950	33	7	-	-	NOUN
iajs-950	33	8	converges	converge	NOUN
iajs-950	33	9	to	to	ADP
iajs-950	33	10	a	a	DET
iajs-950	33	11	point	point	NOUN
iajs-950	33	12	xx	xx	PUNCT
iajs-950	34	1	(	(	PUNCT
iajs-950	34	2	written	write	VERB
iajs-950	34	3	as	as	ADP
iajs-950	34	4			NOUN
iajs-950	34	5			PRON
iajs-950	34	6	ij	ij	NOUN
iajs-950	34	7	x	x	X
iajs-950	34	8	)	)	PUNCT
iajs-950	34	9	iff	iff	NOUN
iajs-950	34	10			NOUN
iajs-950	34	11			PRON
iajs-950	34	12	ij	ij	X
iajs-950	34	13	{	{	PUNCT
iajs-950	34	14	x	x	NOUN
iajs-950	34	15	}	}	PUNCT
iajs-950	34	16	or	or	CCONJ
iajs-950	34	17	equivalently	equivalently	ADV
iajs-950	34	18	,	,	PUNCT
iajs-950	34	19	i	i	NOUN
iajs-950	34	20	-	-	PUNCT
iajs-950	34	21	clω(u	clω(u	NOUN
iajs-950	34	22	)	)	PUNCT
iajs-950	34	23	of	of	ADP
iajs-950	34	24	every	every	DET
iajs-950	34	25	iopen	iopen	PROPN
iajs-950	34	26	nbd	nbd	PROPN
iajs-950	34	27	u	u	PROPN
iajs-950	34	28	of	of	ADP
iajs-950	34	29	x	x	PUNCT
iajs-950	34	30	contains	contain	VERB
iajs-950	34	31	some	some	DET
iajs-950	34	32	member	member	NOUN
iajs-950	34	33	of	of	ADP
iajs-950	34	34	.	.	PRON
iajs-950	34	35	theorem	theorem	VERB
iajs-950	34	36	:	:	PUNCT
iajs-950	34	37	2.4	2.4	NUM
iajs-950	34	38	.	.	PUNCT
iajs-950	35	1	a	a	DET
iajs-950	35	2	point	point	NOUN
iajs-950	35	3	x	x	X
iajs-950	35	4	in	in	ADP
iajs-950	35	5	bitopological	bitopological	ADJ
iajs-950	35	6	space	space	NOUN
iajs-950	35	7	(	(	PUNCT
iajs-950	35	8	x	x	X
iajs-950	35	9	,	,	PUNCT
iajs-950	35	10	1	1	ADJ
iajs-950	35	11	,	,	PUNCT
iajs-950	35	12	2	2	PROPN
iajs-950	35	13	)	)	PUNCT
iajs-950	35	14	is	be	AUX
iajs-950	35	15	an	an	DET
iajs-950	35	16	ij	ij	ADJ
iajs-950	35	17	-	-	PUNCT
iajs-950	35	18	ω	ω	NOUN
iajs-950	35	19	-	-	PUNCT
iajs-950	35	20	condensation	condensation	NOUN
iajs-950	35	21	of	of	ADP
iajs-950	35	22	a	a	DET
iajs-950	35	23	filter	filter	NOUN
iajs-950	35	24	base	base	NOUN
iajs-950	35	25			NOUN
iajs-950	35	26	on	on	ADP
iajs-950	35	27	x	x	SYM
iajs-950	35	28	if	if	SCONJ
iajs-950	35	29	there	there	PRON
iajs-950	35	30	exists	exist	VERB
iajs-950	35	31	a	a	DET
iajs-950	35	32	filter	filter	NOUN
iajs-950	35	33	base	base	NOUN
iajs-950	35	34			NOUN
iajs-950	35	35	*	*	NOUN
iajs-950	35	36	finer	fine	ADJ
iajs-950	35	37	than	than	ADP
iajs-950	35	38			NOUN
iajs-950	35	39	such	such	ADJ
iajs-950	35	40	that	that	SCONJ
iajs-950	35	41			NOUN
iajs-950	35	42	*	*	SYM
iajs-950	35	43			PRON
iajs-950	35	44	ij	ij	X
iajs-950	35	45	x.	x.	NOUN
iajs-950	35	46	proof	proof	NOUN
iajs-950	35	47	:	:	PUNCT
iajs-950	35	48	(	(	PUNCT
iajs-950	35	49			NOUN
iajs-950	35	50	)	)	PUNCT
iajs-950	35	51	let	let	VERB
iajs-950	35	52	x	x	PRON
iajs-950	35	53	be	be	AUX
iajs-950	35	54	an	an	DET
iajs-950	35	55	ij	ij	ADJ
iajs-950	35	56	-	-	PUNCT
iajs-950	35	57	ω	ω	NOUN
iajs-950	35	58	-	-	PUNCT
iajs-950	35	59	condensation	condensation	NOUN
iajs-950	35	60	point	point	NOUN
iajs-950	35	61	of	of	ADP
iajs-950	35	62	a	a	DET
iajs-950	35	63	filter	filter	NOUN
iajs-950	35	64	base	base	NOUN
iajs-950	35	65			NOUN
iajs-950	35	66	on	on	ADP
iajs-950	35	67	x	x	SYM
iajs-950	35	68	,	,	PUNCT
iajs-950	35	69	then	then	ADV
iajs-950	35	70	every	every	DET
iajs-950	35	71	i	i	NOUN
iajs-950	35	72	-	-	ADJ
iajs-950	35	73	open	open	ADJ
iajs-950	35	74	nbd	nbd	PROPN
iajs-950	35	75	u	u	PROPN
iajs-950	35	76	of	of	ADP
iajs-950	35	77	x	x	PRON
iajs-950	35	78	,	,	PUNCT
iajs-950	35	79	the	the	DET
iajs-950	35	80	j	j	NOUN
iajs-950	35	81	-	-	PUNCT
iajs-950	35	82	ω	ω	NOUN
iajs-950	35	83	-	-	NOUN
iajs-950	35	84	closure	closure	NOUN
iajs-950	35	85	of	of	ADP
iajs-950	35	86	u	u	NOUN
iajs-950	35	87	contains	contain	VERB
iajs-950	35	88	a	a	DET
iajs-950	35	89	member	member	NOUN
iajs-950	35	90	of	of	ADP
iajs-950	35	91			NOUN
iajs-950	35	92	and	and	CCONJ
iajs-950	35	93	thus	thus	ADV
iajs-950	35	94	contains	contain	VERB
iajs-950	35	95	a	a	DET
iajs-950	35	96	member	member	NOUN
iajs-950	35	97	of	of	ADP
iajs-950	35	98	any	any	DET
iajs-950	35	99	filter	filter	NOUN
iajs-950	35	100	base	base	NOUN
iajs-950	35	101			NOUN
iajs-950	35	102	*	*	NOUN
iajs-950	35	103	finer	fine	ADJ
iajs-950	35	104	than	than	ADP
iajs-950	35	105			NOUN
iajs-950	35	106	,	,	PUNCT
iajs-950	35	107	so	so	SCONJ
iajs-950	35	108	that	that	SCONJ
iajs-950	35	109			NOUN
iajs-950	35	110	*	*	SYM
iajs-950	35	111			PRON
iajs-950	35	112	ij	ij	X
iajs-950	35	113	x.	x.	NOUN
iajs-950	35	114	(	(	PUNCT
iajs-950	35	115			NOUN
iajs-950	35	116	)	)	PUNCT
iajs-950	35	117	suppose	suppose	VERB
iajs-950	35	118	that	that	SCONJ
iajs-950	35	119	x	x	PRON
iajs-950	35	120	is	be	AUX
iajs-950	35	121	not	not	PART
iajs-950	35	122	an	an	DET
iajs-950	35	123	ij	ij	NOUN
iajs-950	35	124	-	-	PUNCT
iajs-950	35	125	ω	ω	NOUN
iajs-950	35	126	-	-	PUNCT
iajs-950	35	127	condensation	condensation	NOUN
iajs-950	35	128	point	point	NOUN
iajs-950	35	129	of	of	ADP
iajs-950	35	130	a	a	DET
iajs-950	35	131	filter	filter	NOUN
iajs-950	35	132	base	base	NOUN
iajs-950	35	133			NOUN
iajs-950	35	134	on	on	ADP
iajs-950	35	135	x	x	SYM
iajs-950	35	136	,	,	PUNCT
iajs-950	35	137	then	then	ADV
iajs-950	35	138	there	there	PRON
iajs-950	35	139	exists	exist	VERB
iajs-950	35	140	an	an	DET
iajs-950	35	141	i	i	NOUN
iajs-950	35	142	-	-	ADJ
iajs-950	35	143	open	open	ADJ
iajs-950	35	144	nbd	nbd	PROPN
iajs-950	35	145	u	u	PROPN
iajs-950	35	146	of	of	ADP
iajs-950	35	147	x	x	SYM
iajs-950	35	148	such	such	ADJ
iajs-950	35	149	that	that	SCONJ
iajs-950	35	150	j	j	NOUN
iajs-950	35	151	-	-	PUNCT
iajs-950	35	152	ω	ω	NOUN
iajs-950	35	153	-	-	NOUN
iajs-950	35	154	closure	closure	NOUN
iajs-950	35	155	of	of	ADP
iajs-950	35	156	u	u	NOUN
iajs-950	35	157	contains	contain	VERB
iajs-950	35	158	no	no	DET
iajs-950	35	159	member	member	NOUN
iajs-950	35	160	of	of	ADP
iajs-950	35	161	.	.	PROPN
iajs-950	35	162	denote	denote	VERB
iajs-950	35	163	by	by	ADP
iajs-950	35	164			NOUN
iajs-950	35	165	*	*	PUNCT
iajs-950	35	166	the	the	DET
iajs-950	35	167	family	family	NOUN
iajs-950	35	168	of	of	ADP
iajs-950	35	169	sets	set	VERB
iajs-950	35	170	f*=f∩(xj	f*=f∩(xj	PROPN
iajs-950	35	171	-	-	PUNCT
iajs-950	35	172	cl	cl	NOUN
iajs-950	35	173	ω	ω	PROPN
iajs-950	35	174	(	(	PUNCT
iajs-950	35	175	u	u	NOUN
iajs-950	35	176	)	)	PUNCT
iajs-950	35	177	)	)	PUNCT
iajs-950	35	178	for	for	ADP
iajs-950	35	179	f	f	NOUN
iajs-950	35	180	,	,	PUNCT
iajs-950	35	181	then	then	ADV
iajs-950	35	182	the	the	DET
iajs-950	35	183	sets	set	NOUN
iajs-950	35	184	f	f	X
iajs-950	35	185	*	*	VERB
iajs-950	35	186	are	be	AUX
iajs-950	35	187	nonempty	nonempty	X
iajs-950	35	188	.	.	PUNCT
iajs-950	36	1	also	also	ADV
iajs-950	36	2			NOUN
iajs-950	36	3	*	*	PUNCT
iajs-950	36	4	is	be	AUX
iajs-950	36	5	a	a	DET
iajs-950	36	6	filter	filter	NOUN
iajs-950	36	7	base	base	NOUN
iajs-950	36	8	and	and	CCONJ
iajs-950	36	9	indeed	indeed	ADV
iajs-950	36	10	it	it	PRON
iajs-950	36	11	is	be	AUX
iajs-950	36	12	finer	fine	ADJ
iajs-950	36	13	than	than	ADP
iajs-950	36	14			NOUN
iajs-950	36	15	,	,	PUNCT
iajs-950	36	16	because	because	SCONJ
iajs-950	36	17	given	give	VERB
iajs-950	36	18	f1*=f1∩(xj	f1*=f1∩(xj	NOUN
iajs-950	36	19	-	-	PUNCT
iajs-950	36	20	cl	cl	NOUN
iajs-950	36	21	ω	ω	NOUN
iajs-950	36	22	(	(	PUNCT
iajs-950	36	23	u	u	NOUN
iajs-950	36	24	)	)	PUNCT
iajs-950	36	25	)	)	PUNCT
iajs-950	36	26	and	and	CCONJ
iajs-950	36	27	f2*=f2∩(xjcl	f2*=f2∩(xjcl	PUNCT
iajs-950	36	28	ω	ω	PROPN
iajs-950	36	29	(	(	PUNCT
iajs-950	36	30	u	u	NOUN
iajs-950	36	31	)	)	PUNCT
iajs-950	36	32	)	)	PUNCT
iajs-950	36	33	,	,	PUNCT
iajs-950	36	34	there	there	PRON
iajs-950	36	35	is	be	VERB
iajs-950	36	36	an	an	DET
iajs-950	36	37	f3f1∩f2	f3f1∩f2	NOUN
iajs-950	36	38	and	and	CCONJ
iajs-950	36	39	this	this	PRON
iajs-950	36	40	gives	give	VERB
iajs-950	36	41	f3*=f3∩(xj	f3*=f3∩(xj	NOUN
iajs-950	36	42	-	-	PUNCT
iajs-950	36	43	cl	cl	NOUN
iajs-950	36	44	ω	ω	NOUN
iajs-950	36	45	(	(	PUNCT
iajs-950	36	46	u))f1∩f2∩(xjcl	u))f1∩f2∩(xjcl	PROPN
iajs-950	36	47	ω(u))=f1∩(xj	ω(u))=f1∩(xj	NOUN
iajs-950	36	48	-	-	PUNCT
iajs-950	36	49	clω(u))∩f2∩(xj	clω(u))∩f2∩(xj	PRON
iajs-950	36	50	-	-	PUNCT
iajs-950	36	51	clω(u	clω(u	PROPN
iajs-950	36	52	)	)	PUNCT
iajs-950	36	53	)	)	PUNCT
iajs-950	36	54	,	,	PUNCT
iajs-950	36	55	by	by	ADP
iajs-950	36	56	construction	construction	NOUN
iajs-950	36	57			NOUN
iajs-950	36	58	*	*	PUNCT
iajs-950	36	59	not	not	PART
iajs-950	36	60	ij	ij	NUM
iajs-950	36	61	-	-	PUNCT
iajs-950	36	62	ω	ω	NOUN
iajs-950	36	63	-	-	NOUN
iajs-950	36	64	convergent	convergent	NOUN
iajs-950	36	65	to	to	PART
iajs-950	36	66	x.	x.	VERB
iajs-950	36	67	this	this	PRON
iajs-950	36	68	is	be	AUX
iajs-950	36	69	a	a	DET
iajs-950	36	70	contradiction	contradiction	NOUN
iajs-950	36	71	,	,	PUNCT
iajs-950	36	72	and	and	CCONJ
iajs-950	36	73	thus	thus	ADV
iajs-950	36	74	x	x	PRON
iajs-950	36	75	is	be	AUX
iajs-950	36	76	an	an	DET
iajs-950	36	77	ij	ij	ADJ
iajs-950	36	78	-	-	PUNCT
iajs-950	36	79	ω	ω	NOUN
iajs-950	36	80	-	-	PUNCT
iajs-950	36	81	condensation	condensation	NOUN
iajs-950	36	82	point	point	NOUN
iajs-950	36	83	of	of	ADP
iajs-950	36	84	a	a	DET
iajs-950	36	85	filter	filter	NOUN
iajs-950	36	86	base	base	NOUN
iajs-950	36	87			NOUN
iajs-950	36	88	on	on	ADP
iajs-950	36	89	x.	x.	NOUN
iajs-950	36	90	definition	definition	NOUN
iajs-950	36	91	:	:	PUNCT
iajs-950	36	92	2.5	2.5	NUM
iajs-950	36	93	.	.	PUNCT
iajs-950	37	1	a	a	DET
iajs-950	37	2	filter	filter	NOUN
iajs-950	37	3	base	base	NOUN
iajs-950	37	4			NOUN
iajs-950	37	5	on	on	ADP
iajs-950	37	6	bitopological	bitopological	ADJ
iajs-950	37	7	space	space	NOUN
iajs-950	37	8	(	(	PUNCT
iajs-950	37	9	x	x	X
iajs-950	37	10	,	,	PUNCT
iajs-950	37	11	1	1	ADJ
iajs-950	37	12	,	,	PUNCT
iajs-950	37	13	2	2	PROPN
iajs-950	37	14	)	)	PUNCT
iajs-950	37	15	is	be	AUX
iajs-950	37	16	said	say	VERB
iajs-950	37	17	to	to	PART
iajs-950	37	18	be	be	AUX
iajs-950	37	19	ij	ij	ADJ
iajs-950	37	20	-	-	PUNCT
iajs-950	37	21	ω	ω	NOUN
iajs-950	37	22	-	-	PUNCT
iajs-950	37	23	directed	direct	VERB
iajs-950	37	24	toward	toward	ADP
iajs-950	37	25	a	a	DET
iajs-950	37	26	set	set	VERB
iajs-950	37	27	ax	ax	NOUN
iajs-950	37	28	,	,	PUNCT
iajs-950	37	29	written	write	VERB
iajs-950	37	30	as	as	ADP
iajs-950	37	31			NOUN
iajs-950	37	32			VERB
iajs-950	37	33			ADJ
iajs-950	37	34			PROPN
iajs-950	37	35	dij	dij	VERB
iajs-950	37	36	a	a	PRON
iajs-950	37	37	,	,	PUNCT
iajs-950	37	38	iff	iff	PROPN
iajs-950	37	39	every	every	DET
iajs-950	37	40	filter	filter	NOUN
iajs-950	37	41	base	base	NOUN
iajs-950	37	42	g	g	PROPN
iajs-950	37	43	finer	fine	ADJ
iajs-950	37	44	than	than	ADP
iajs-950	37	45			NOUN
iajs-950	37	46	has	have	VERB
iajs-950	37	47	an	an	DET
iajs-950	37	48	ij	ij	NOUN
iajs-950	37	49	-	-	PUNCT
iajs-950	37	50	ωcondensation	ωcondensation	NOUN
iajs-950	37	51	point	point	NOUN
iajs-950	37	52	in	in	ADP
iajs-950	37	53	a.	a.	NOUN
iajs-950	37	54	i.e.	i.e.	X
iajs-950	37	55	,	,	PUNCT
iajs-950	37	56	(	(	PUNCT
iajs-950	37	57	ij	ij	NOUN
iajs-950	37	58	-	-	PUNCT
iajs-950	37	59	ω	ω	NOUN
iajs-950	37	60	-	-	NOUN
iajs-950	37	61	codg)a.	codg)a.	NOUN
iajs-950	37	62	we	we	PRON
iajs-950	37	63	write	write	VERB
iajs-950	37	64			NOUN
iajs-950	37	65			VERB
iajs-950	37	66			ADJ
iajs-950	37	67			PROPN
iajs-950	37	68	dij	dij	VERB
iajs-950	37	69	x	x	PART
iajs-950	37	70	to	to	PART
iajs-950	37	71	mean	mean	VERB
iajs-950	37	72			NOUN
iajs-950	37	73			VERB
iajs-950	37	74			ADJ
iajs-950	37	75			PROPN
iajs-950	37	76	dij	dij	VERB
iajs-950	37	77	{	{	PUNCT
iajs-950	37	78	x	x	NOUN
iajs-950	37	79	}	}	PUNCT
iajs-950	37	80	,	,	PUNCT
iajs-950	38	1	where	where	SCONJ
iajs-950	38	2	xx	xx	PROPN
iajs-950	38	3	.	.	PUNCT
iajs-950	38	4	theorem	theorem	VERB
iajs-950	38	5	:	:	PUNCT
iajs-950	38	6	2.6	2.6	NUM
iajs-950	38	7	.	.	PUNCT
iajs-950	39	1	let	let	VERB
iajs-950	39	2			NOUN
iajs-950	39	3	be	be	AUX
iajs-950	39	4	a	a	DET
iajs-950	39	5	filter	filter	NOUN
iajs-950	39	6	base	base	NOUN
iajs-950	39	7	on	on	ADP
iajs-950	39	8	bitopological	bitopological	ADJ
iajs-950	39	9	space	space	NOUN
iajs-950	39	10	(	(	PUNCT
iajs-950	39	11	x	x	X
iajs-950	39	12	,	,	PUNCT
iajs-950	39	13	1	1	ADJ
iajs-950	39	14	,	,	PUNCT
iajs-950	39	15	2	2	PROPN
iajs-950	39	16	)	)	PUNCT
iajs-950	39	17	and	and	CCONJ
iajs-950	39	18	a	a	DET
iajs-950	39	19	point	point	NOUN
iajs-950	39	20	xx	xx	PROPN
iajs-950	39	21	,	,	PUNCT
iajs-950	39	22	then	then	ADV
iajs-950	39	23			VERB
iajs-950	39	24			PRON
iajs-950	39	25	ij	ij	X
iajs-950	39	26	x	x	SYM
iajs-950	39	27	iff	iff	PROPN
iajs-950	39	28			NOUN
iajs-950	39	29			VERB
iajs-950	39	30			ADJ
iajs-950	39	31			PROPN
iajs-950	39	32	dij	dij	VERB
iajs-950	40	1	x.	x.	NOUN
iajs-950	40	2	proof	proof	NOUN
iajs-950	40	3	:	:	PUNCT
iajs-950	40	4	(	(	PUNCT
iajs-950	40	5			NOUN
iajs-950	40	6	)	)	PUNCT
iajs-950	40	7	if	if	SCONJ
iajs-950	40	8			NOUN
iajs-950	40	9	does	do	AUX
iajs-950	40	10	not	not	PART
iajs-950	40	11	ij--converge	ij--converge	VERB
iajs-950	40	12	to	to	ADP
iajs-950	40	13	x	x	PRON
iajs-950	40	14	,	,	PUNCT
iajs-950	40	15	then	then	ADV
iajs-950	40	16	there	there	PRON
iajs-950	40	17	exists	exist	VERB
iajs-950	40	18	a	a	DET
iajs-950	40	19	i	i	NOUN
iajs-950	40	20	-	-	ADJ
iajs-950	40	21	open	open	ADJ
iajs-950	40	22	nbd	nbd	PROPN
iajs-950	40	23	u	u	PROPN
iajs-950	40	24	of	of	ADP
iajs-950	40	25	x	x	SYM
iajs-950	40	26	such	such	ADJ
iajs-950	40	27	that	that	SCONJ
iajs-950	40	28	fj	fj	ADJ
iajs-950	40	29	-	-	NOUN
iajs-950	40	30	cl	cl	ADJ
iajs-950	40	31			X
iajs-950	40	32	(	(	PUNCT
iajs-950	40	33	u	u	NOUN
iajs-950	40	34	)	)	PUNCT
iajs-950	40	35	,	,	PUNCT
iajs-950	40	36	for	for	SCONJ
iajs-950	40	37	all	all	DET
iajs-950	40	38	f.	f.	ADV
iajs-950	40	39	then	then	ADV
iajs-950	40	40	g={(x-i	g={(x-i	ADJ
iajs-950	40	41	-	-	PUNCT
iajs-950	40	42	cl	cl	NOUN
iajs-950	40	43			X
iajs-950	40	44	(	(	PUNCT
iajs-950	40	45	u)f	u)f	NOUN
iajs-950	40	46	:	:	PUNCT
iajs-950	40	47	f	f	NOUN
iajs-950	40	48	}	}	PUNCT
iajs-950	40	49	is	be	AUX
iajs-950	40	50	a	a	DET
iajs-950	40	51	filter	filter	NOUN
iajs-950	40	52	base	base	NOUN
iajs-950	40	53	on	on	ADP
iajs-950	40	54	x	x	PUNCT
iajs-950	40	55	finer	fine	ADJ
iajs-950	40	56	than	than	ADP
iajs-950	40	57			NOUN
iajs-950	40	58	,	,	PUNCT
iajs-950	40	59	and	and	CCONJ
iajs-950	40	60	clearly	clearly	ADV
iajs-950	40	61	xij--codg	xij--codg	NUM
iajs-950	40	62	.	.	PUNCT
iajs-950	41	1	thus	thus	ADV
iajs-950	41	2			NOUN
iajs-950	41	3	can	can	AUX
iajs-950	41	4	not	not	PART
iajs-950	41	5	be	be	AUX
iajs-950	41	6	ij--directed	ij--directe	VERB
iajs-950	41	7	towards	towards	ADP
iajs-950	41	8	x.	x.	PROPN
iajs-950	41	9	(	(	PUNCT
iajs-950	41	10			NOUN
iajs-950	41	11	)	)	PUNCT
iajs-950	41	12	clear	clear	ADJ
iajs-950	41	13	.	.	PUNCT
iajs-950	42	1	definition	definition	NOUN
iajs-950	42	2	:	:	PUNCT
iajs-950	42	3	2.7	2.7	NUM
iajs-950	42	4	.	.	PUNCT
iajs-950	43	1	a	a	DET
iajs-950	43	2	function	function	NOUN
iajs-950	43	3	f	f	NOUN
iajs-950	43	4	:	:	PUNCT
iajs-950	43	5	(	(	PUNCT
iajs-950	43	6	x	x	X
iajs-950	43	7	,	,	PUNCT
iajs-950	43	8	1	1	ADJ
iajs-950	43	9	,	,	PUNCT
iajs-950	43	10	2)(y	2)(y	NUM
iajs-950	43	11	,	,	PUNCT
iajs-950	43	12	s1	s1	NOUN
iajs-950	43	13	,	,	PUNCT
iajs-950	43	14	s2	s2	PROPN
iajs-950	43	15	)	)	PUNCT
iajs-950	43	16	is	be	AUX
iajs-950	43	17	said	say	VERB
iajs-950	43	18	to	to	PART
iajs-950	43	19	be	be	AUX
iajs-950	43	20	ij--perfect	ij--perfect	ADJ
iajs-950	43	21	if	if	SCONJ
iajs-950	43	22	for	for	ADP
iajs-950	43	23	each	each	DET
iajs-950	43	24	filter	filter	NOUN
iajs-950	43	25	base	base	NOUN
iajs-950	43	26			NOUN
iajs-950	43	27	on	on	ADP
iajs-950	43	28	f(x	f(x	PROPN
iajs-950	43	29	)	)	PUNCT
iajs-950	43	30	,	,	PUNCT
iajs-950	43	31	ij--directed	ij--directe	VERB
iajs-950	43	32	towards	towards	ADP
iajs-950	43	33	some	some	DET
iajs-950	43	34	subset	subset	NOUN
iajs-950	43	35	b	b	PROPN
iajs-950	43	36	of	of	ADP
iajs-950	43	37	f(x	f(x	PROPN
iajs-950	43	38	)	)	PUNCT
iajs-950	43	39	,	,	PUNCT
iajs-950	43	40	the	the	DET
iajs-950	43	41	filter	filter	NOUN
iajs-950	43	42	base	base	NOUN
iajs-950	43	43	f	f	PROPN
iajs-950	43	44	-1	-1	X
iajs-950	43	45	(	(	PUNCT
iajs-950	43	46			NOUN
iajs-950	43	47	)	)	PUNCT
iajs-950	43	48	is	be	AUX
iajs-950	43	49	ij-directed	ij-directe	VERB
iajs-950	43	50	towards	towards	ADP
iajs-950	43	51	f	f	PROPN
iajs-950	43	52	-1	-1	PUNCT
iajs-950	43	53	(	(	PUNCT
iajs-950	43	54	b	b	NOUN
iajs-950	43	55	)	)	PUNCT
iajs-950	43	56	in	in	ADP
iajs-950	43	57	x.	x.	NOUN
iajs-950	43	58	in	in	ADP
iajs-950	43	59	the	the	DET
iajs-950	43	60	following	follow	VERB
iajs-950	43	61	theorem	theorem	NOUN
iajs-950	43	62	we	we	PRON
iajs-950	43	63	show	show	VERB
iajs-950	43	64	that	that	SCONJ
iajs-950	43	65	only	only	ADJ
iajs-950	43	66	points	point	NOUN
iajs-950	43	67	of	of	ADP
iajs-950	43	68	y	y	PRON
iajs-950	43	69	could	could	AUX
iajs-950	43	70	be	be	AUX
iajs-950	43	71	sufficient	sufficient	ADJ
iajs-950	43	72	for	for	ADP
iajs-950	43	73	the	the	DET
iajs-950	43	74	subset	subset	PROPN
iajs-950	43	75	b	b	PROPN
iajs-950	43	76	in	in	ADP
iajs-950	43	77	definition	definition	NOUN
iajs-950	43	78	(	(	PUNCT
iajs-950	43	79	2.7	2.7	NUM
iajs-950	43	80	)	)	PUNCT
iajs-950	43	81	and	and	CCONJ
iajs-950	43	82	hence	hence	ADV
iajs-950	43	83	ij--direction	ij--direction	NOUN
iajs-950	43	84	can	can	AUX
iajs-950	43	85	be	be	AUX
iajs-950	43	86	replaced	replace	VERB
iajs-950	43	87	in	in	ADP
iajs-950	43	88	view	view	NOUN
iajs-950	43	89	of	of	ADP
iajs-950	43	90	theorem	theorem	NOUN
iajs-950	43	91	(	(	PUNCT
iajs-950	43	92	2.4	2.4	NUM
iajs-950	43	93	)	)	PUNCT
iajs-950	43	94	by	by	ADP
iajs-950	43	95	ij--convergence	ij--convergence	NOUN
iajs-950	43	96	.	.	PUNCT
iajs-950	44	1	theorem	theorem	VERB
iajs-950	44	2	:	:	PUNCT
iajs-950	44	3	2.8	2.8	NUM
iajs-950	44	4	.	.	PUNCT
iajs-950	45	1	let	let	VERB
iajs-950	45	2	f	f	NOUN
iajs-950	45	3	:	:	PUNCT
iajs-950	45	4	(	(	PUNCT
iajs-950	45	5	x	x	X
iajs-950	45	6	,	,	PUNCT
iajs-950	45	7	1	1	ADJ
iajs-950	45	8	,	,	PUNCT
iajs-950	45	9	2)(y	2)(y	NUM
iajs-950	45	10	,	,	PUNCT
iajs-950	45	11	s1	s1	NOUN
iajs-950	45	12	,	,	PUNCT
iajs-950	45	13	s2	s2	PROPN
iajs-950	45	14	)	)	PUNCT
iajs-950	45	15	be	be	VERB
iajs-950	45	16	a	a	DET
iajs-950	45	17	function	function	NOUN
iajs-950	45	18	.	.	PUNCT
iajs-950	46	1	then	then	ADV
iajs-950	46	2	the	the	DET
iajs-950	46	3	following	follow	VERB
iajs-950	46	4	are	be	AUX
iajs-950	46	5	equivalent	equivalent	ADJ
iajs-950	46	6	:	:	PUNCT
iajs-950	46	7	(	(	PUNCT
iajs-950	46	8	a	a	X
iajs-950	46	9	)	)	PUNCT
iajs-950	46	10	f	f	PROPN
iajs-950	46	11	is	be	AUX
iajs-950	46	12	ij--perfect	ij--perfect	ADJ
iajs-950	46	13	.	.	PUNCT
iajs-950	47	1	(	(	PUNCT
iajs-950	47	2	b	b	X
iajs-950	47	3	)	)	PUNCT
iajs-950	47	4	for	for	ADP
iajs-950	47	5	each	each	DET
iajs-950	47	6	filter	filter	NOUN
iajs-950	47	7	base	base	NOUN
iajs-950	47	8			NOUN
iajs-950	47	9	on	on	ADP
iajs-950	47	10	f(x	f(x	PROPN
iajs-950	47	11	)	)	PUNCT
iajs-950	47	12	,	,	PUNCT
iajs-950	47	13	which	which	PRON
iajs-950	47	14	is	be	AUX
iajs-950	47	15	ij--convergent	ij--convergent	NOUN
iajs-950	47	16	to	to	ADP
iajs-950	47	17	a	a	DET
iajs-950	47	18	point	point	NOUN
iajs-950	47	19	y	y	PROPN
iajs-950	47	20	in	in	ADP
iajs-950	47	21	y	y	PROPN
iajs-950	47	22	,	,	PUNCT
iajs-950	47	23	f	f	PROPN
iajs-950	47	24	1(	1(	NUM
iajs-950	47	25	)	)	PUNCT
iajs-950	47	26			VERB
iajs-950	47	27			PROPN
iajs-950	47	28			PROPN
iajs-950	47	29	dij	dij	VERB
iajs-950	47	30	f	f	PROPN
iajs-950	47	31	-1(y	-1(y	PROPN
iajs-950	47	32	)	)	PUNCT
iajs-950	47	33	.	.	PUNCT
iajs-950	48	1	(	(	PUNCT
iajs-950	48	2	c	c	X
iajs-950	48	3	)	)	PUNCT
iajs-950	48	4	for	for	ADP
iajs-950	48	5	any	any	DET
iajs-950	48	6	filter	filter	NOUN
iajs-950	48	7	base	base	NOUN
iajs-950	48	8			NOUN
iajs-950	48	9	on	on	ADP
iajs-950	48	10	x	x	SYM
iajs-950	48	11	,	,	PUNCT
iajs-950	48	12	ij--cod	ij--cod	PROPN
iajs-950	48	13	f	f	PROPN
iajs-950	48	14	(	(	PUNCT
iajs-950	48	15	)f(ij--cod	)f(ij--cod	NOUN
iajs-950	48	16			NOUN
iajs-950	48	17	)	)	PUNCT
iajs-950	48	18	.	.	PUNCT
iajs-950	49	1	proof	proof	NOUN
iajs-950	49	2	:	:	PUNCT
iajs-950	49	3	(	(	PUNCT
iajs-950	49	4	a)(b	a)(b	NOUN
iajs-950	49	5	)	)	PUNCT
iajs-950	49	6	follows	follow	VERB
iajs-950	49	7	from	from	ADP
iajs-950	49	8	theorem	theorem	NOUN
iajs-950	49	9	(	(	PUNCT
iajs-950	49	10	2.6	2.6	NUM
iajs-950	49	11	)	)	PUNCT
iajs-950	49	12	.	.	PUNCT
iajs-950	50	1	(	(	PUNCT
iajs-950	50	2	b)(c	b)(c	ADP
iajs-950	50	3	)	)	PUNCT
iajs-950	50	4	let	let	VERB
iajs-950	50	5	yij--cod	yij--cod	PROPN
iajs-950	50	6	f	f	X
iajs-950	50	7	(	(	PUNCT
iajs-950	50	8			NOUN
iajs-950	50	9	)	)	PUNCT
iajs-950	50	10	.	.	PUNCT
iajs-950	51	1	then	then	ADV
iajs-950	51	2	by	by	ADP
iajs-950	51	3	theorem	theorem	NOUN
iajs-950	51	4	(	(	PUNCT
iajs-950	51	5	2.4	2.4	NUM
iajs-950	51	6	)	)	PUNCT
iajs-950	51	7	,	,	PUNCT
iajs-950	51	8	there	there	PRON
iajs-950	51	9	is	be	VERB
iajs-950	51	10	a	a	DET
iajs-950	51	11	filter	filter	NOUN
iajs-950	51	12	base	base	NOUN
iajs-950	51	13	g	g	NOUN
iajs-950	51	14	on	on	ADP
iajs-950	51	15	f(x	f(x	PROPN
iajs-950	51	16	)	)	PUNCT
iajs-950	51	17	finer	fine	ADJ
iajs-950	51	18	than	than	ADP
iajs-950	51	19	f	f	PROPN
iajs-950	51	20	(	(	PUNCT
iajs-950	51	21			NOUN
iajs-950	51	22	)	)	PUNCT
iajs-950	51	23	such	such	ADJ
iajs-950	51	24	that	that	SCONJ
iajs-950	51	25	g	g	PROPN
iajs-950	51	26			PRON
iajs-950	51	27	ij	ij	X
iajs-950	51	28	y.	y.	NOUN
iajs-950	51	29	let	let	VERB
iajs-950	51	30	u	u	PRON
iajs-950	51	31	=	=	NOUN
iajs-950	51	32	{	{	PUNCT
iajs-950	51	33	f-1(g)f	f-1(g)f	PROPN
iajs-950	51	34	:	:	PUNCT
iajs-950	51	35	g	g	PROPN
iajs-950	51	36	g	g	NOUN
iajs-950	51	37	and	and	CCONJ
iajs-950	51	38	f	f	NOUN
iajs-950	51	39	}	}	PUNCT
iajs-950	51	40	.	.	PUNCT
iajs-950	52	1	then	then	ADV
iajs-950	52	2	u	u	PRON
iajs-950	52	3	is	be	AUX
iajs-950	52	4	a	a	DET
iajs-950	52	5	filter	filter	NOUN
iajs-950	52	6	base	base	NOUN
iajs-950	52	7	on	on	ADP
iajs-950	52	8	x	x	PUNCT
iajs-950	52	9	finer	fine	ADJ
iajs-950	52	10	than	than	ADP
iajs-950	52	11	f	f	PROPN
iajs-950	52	12	-1(g	-1(g	PROPN
iajs-950	52	13	)	)	PUNCT
iajs-950	52	14	.	.	PUNCT
iajs-950	53	1	since	since	SCONJ
iajs-950	53	2	g	g	PROPN
iajs-950	53	3			VERB
iajs-950	53	4			PROPN
iajs-950	53	5			PROPN
iajs-950	53	6	dij	dij	VERB
iajs-950	53	7	y	y	PROPN
iajs-950	53	8	,	,	PUNCT
iajs-950	53	9	by	by	ADP
iajs-950	53	10	theorem	theorem	NOUN
iajs-950	53	11	(	(	PUNCT
iajs-950	53	12	2.6	2.6	NUM
iajs-950	53	13	)	)	PUNCT
iajs-950	53	14	and	and	CCONJ
iajs-950	53	15	f	f	PROPN
iajs-950	53	16	is	be	AUX
iajs-950	53	17	ij--perfect	ij--perfect	PROPN
iajs-950	53	18	,	,	PUNCT
iajs-950	53	19	f	f	PROPN
iajs-950	53	20	1(g	1(g	NUM
iajs-950	53	21	)	)	PUNCT
iajs-950	53	22			VERB
iajs-950	53	23			PROPN
iajs-950	53	24			PROPN
iajs-950	53	25	dij	dij	VERB
iajs-950	53	26	f	f	PROPN
iajs-950	53	27	-1(y	-1(y	PROPN
iajs-950	53	28	)	)	PUNCT
iajs-950	53	29	.	.	PUNCT
iajs-950	54	1	u	u	PRON
iajs-950	54	2	being	be	AUX
iajs-950	54	3	finer	fine	ADJ
iajs-950	54	4	than	than	ADP
iajs-950	54	5	f	f	PROPN
iajs-950	54	6	-1(g	-1(g	PROPN
iajs-950	54	7	)	)	PUNCT
iajs-950	54	8	,	,	PUNCT
iajs-950	54	9	we	we	PRON
iajs-950	54	10	have	have	VERB
iajs-950	54	11	f	f	PROPN
iajs-950	54	12	-1(y)(ij--cod	-1(y)(ij--cod	NOUN
iajs-950	54	13	u).	u).	PROPN
iajs-950	55	1	it	it	PRON
iajs-950	55	2	is	be	AUX
iajs-950	55	3	then	then	ADV
iajs-950	55	4	clear	clear	ADJ
iajs-950	55	5	that	that	SCONJ
iajs-950	55	6	f	f	PROPN
iajs-950	55	7	-1	-1	PUNCT
iajs-950	56	1	(	(	PUNCT
iajs-950	56	2	y)(ij--cod	y)(ij--cod	PROPN
iajs-950	56	3	).	).	PROPN
iajs-950	56	4	thus	thus	ADV
iajs-950	56	5	yf(ij--cod	yf(ij--cod	ADP
iajs-950	56	6			NOUN
iajs-950	56	7	)	)	PUNCT
iajs-950	56	8	.	.	PUNCT
iajs-950	57	1	(	(	PUNCT
iajs-950	57	2	c)(a	c)(a	X
iajs-950	57	3	)	)	PUNCT
iajs-950	57	4	let	let	VERB
iajs-950	57	5			NOUN
iajs-950	57	6	be	be	AUX
iajs-950	57	7	a	a	DET
iajs-950	57	8	filter	filter	NOUN
iajs-950	57	9	base	base	NOUN
iajs-950	57	10	on	on	ADP
iajs-950	57	11	f(x	f(x	PROPN
iajs-950	57	12	)	)	PUNCT
iajs-950	57	13	such	such	ADJ
iajs-950	57	14	that	that	SCONJ
iajs-950	57	15	it	it	PRON
iajs-950	57	16	is	be	AUX
iajs-950	57	17	ij--directed	ij--directed	ADJ
iajs-950	57	18	towards	towards	ADP
iajs-950	57	19	some	some	DET
iajs-950	57	20	subset	subset	NOUN
iajs-950	57	21	b	b	PROPN
iajs-950	57	22	of	of	ADP
iajs-950	57	23	f(x	f(x	PROPN
iajs-950	57	24	)	)	PUNCT
iajs-950	57	25	.	.	PUNCT
iajs-950	58	1	let	let	VERB
iajs-950	58	2	g	g	PRON
iajs-950	58	3	be	be	AUX
iajs-950	58	4	a	a	DET
iajs-950	58	5	filter	filter	NOUN
iajs-950	58	6	base	base	NOUN
iajs-950	58	7	on	on	ADP
iajs-950	58	8	x	x	PUNCT
iajs-950	58	9	finer	fine	ADJ
iajs-950	58	10	than	than	ADP
iajs-950	58	11	f-1(	f-1(	PROPN
iajs-950	58	12	)	)	PUNCT
iajs-950	58	13	.	.	PUNCT
iajs-950	59	1	then	then	ADV
iajs-950	59	2	f(g	f(g	NOUN
iajs-950	59	3	)	)	PUNCT
iajs-950	59	4	is	be	AUX
iajs-950	59	5	a	a	DET
iajs-950	59	6	filter	filter	NOUN
iajs-950	59	7	base	base	NOUN
iajs-950	59	8	on	on	ADP
iajs-950	59	9	f(x	f(x	PROPN
iajs-950	59	10	)	)	PUNCT
iajs-950	59	11	finer	fine	ADJ
iajs-950	59	12	than	than	SCONJ
iajs-950	59	13	ihjpas	ihjpa	VERB
iajs-950	59	14	ibn	ibn	PROPN
iajs-950	59	15	alhaitham	alhaitham	PROPN
iajs-950	60	1	j.	j.	PROPN
iajs-950	61	1	for	for	ADP
iajs-950	61	2	pure	pure	ADJ
iajs-950	61	3	&	&	CCONJ
iajs-950	61	4	appl	appl	PROPN
iajs-950	61	5	.	.	PUNCT
iajs-950	62	1	sci	sci	PROPN
iajs-950	62	2	.	.	PUNCT
iajs-950	63	1	vol.23	vol.23	PROPN
iajs-950	63	2	(	(	PUNCT
iajs-950	63	3	2	2	NUM
iajs-950	63	4	)	)	PUNCT
iajs-950	63	5	2010	2010	NUM
iajs-950	63	6			NOUN
iajs-950	63	7	and	and	CCONJ
iajs-950	63	8	hence	hence	ADV
iajs-950	63	9	b(ij--cod	b(ij--cod	ADV
iajs-950	63	10	f(g)).	f(g)).	NOUN
iajs-950	63	11	thus	thus	ADV
iajs-950	63	12	by	by	ADP
iajs-950	63	13	(	(	PUNCT
iajs-950	63	14	c	c	NOUN
iajs-950	63	15	)	)	PUNCT
iajs-950	63	16	bf(ij--codg)	bf(ij--codg)	NOUN
iajs-950	63	17	so	so	SCONJ
iajs-950	63	18	that	that	SCONJ
iajs-950	63	19	f-1(b)(ij--cod	f-1(b)(ij--cod	NOUN
iajs-950	63	20	g).	g).	NOUN
iajs-950	63	21	this	this	PRON
iajs-950	63	22	shows	show	VERB
iajs-950	63	23	that	that	SCONJ
iajs-950	63	24	f-1	f-1	NOUN
iajs-950	63	25	(	(	PUNCT
iajs-950	63	26			NOUN
iajs-950	63	27	)	)	PUNCT
iajs-950	63	28	is	be	AUX
iajs-950	63	29	ij--directed	ij--directe	VERB
iajs-950	63	30	towards	towards	ADP
iajs-950	63	31	f	f	PROPN
iajs-950	63	32	-1	-1	PUNCT
iajs-950	63	33	(	(	PUNCT
iajs-950	63	34	b	b	NOUN
iajs-950	63	35	)	)	PUNCT
iajs-950	63	36	.	.	PUNCT
iajs-950	64	1	hence	hence	ADV
iajs-950	64	2	f	f	PROPN
iajs-950	64	3	is	be	AUX
iajs-950	64	4	ij--perfect	ij--perfect	ADJ
iajs-950	64	5	.	.	PUNCT
iajs-950	65	1	definition	definition	NOUN
iajs-950	65	2	:	:	PUNCT
iajs-950	65	3	2.9	2.9	NUM
iajs-950	65	4	.	.	PUNCT
iajs-950	66	1	a	a	DET
iajs-950	66	2	function	function	NOUN
iajs-950	66	3	f	f	NOUN
iajs-950	66	4	:	:	PUNCT
iajs-950	66	5	(	(	PUNCT
iajs-950	66	6	x	x	X
iajs-950	66	7	,	,	PUNCT
iajs-950	66	8	1	1	ADJ
iajs-950	66	9	,	,	PUNCT
iajs-950	66	10	2)(y	2)(y	NUM
iajs-950	66	11	,	,	PUNCT
iajs-950	66	12	s1	s1	NOUN
iajs-950	66	13	,	,	PUNCT
iajs-950	66	14	s2	s2	PROPN
iajs-950	66	15	)	)	PUNCT
iajs-950	66	16	is	be	AUX
iajs-950	66	17	called	call	VERB
iajs-950	66	18	ij--closed	ij--close	VERB
iajs-950	66	19	if	if	SCONJ
iajs-950	66	20	the	the	DET
iajs-950	66	21	image	image	NOUN
iajs-950	66	22	of	of	ADP
iajs-950	66	23	each	each	DET
iajs-950	66	24	ij--closed	ij--close	VERB
iajs-950	66	25	set	set	NOUN
iajs-950	66	26	in	in	ADP
iajs-950	66	27	x	x	PUNCT
iajs-950	66	28	is	be	AUX
iajs-950	66	29	ij--closed	ij--close	VERB
iajs-950	66	30	in	in	ADP
iajs-950	66	31	y.	y.	PROPN
iajs-950	66	32	theorem	theorem	PROPN
iajs-950	66	33	:	:	PUNCT
iajs-950	66	34	2.10	2.10	NUM
iajs-950	66	35	.	.	PUNCT
iajs-950	67	1	a	a	DET
iajs-950	67	2	function	function	NOUN
iajs-950	67	3	f	f	NOUN
iajs-950	67	4	:	:	PUNCT
iajs-950	67	5	(	(	PUNCT
iajs-950	67	6	x	x	X
iajs-950	67	7	,	,	PUNCT
iajs-950	67	8	1	1	ADJ
iajs-950	67	9	,	,	PUNCT
iajs-950	67	10	2)(y	2)(y	NUM
iajs-950	67	11	,	,	PUNCT
iajs-950	67	12	s1	s1	NOUN
iajs-950	67	13	,	,	PUNCT
iajs-950	67	14	s2	s2	PROPN
iajs-950	67	15	)	)	PUNCT
iajs-950	67	16	is	be	AUX
iajs-950	67	17	ij--closed	ij--close	VERB
iajs-950	67	18	if	if	SCONJ
iajs-950	67	19	ij--clωf(a)f(ij-clω(a	ij--clωf(a)f(ij-clω(a	NOUN
iajs-950	67	20	)	)	PUNCT
iajs-950	67	21	)	)	PUNCT
iajs-950	67	22	,	,	PUNCT
iajs-950	67	23	for	for	ADP
iajs-950	67	24	each	each	DET
iajs-950	67	25	ax	ax	PROPN
iajs-950	67	26	.	.	PUNCT
iajs-950	68	1	proof	proof	NOUN
iajs-950	68	2	:	:	PUNCT
iajs-950	68	3	straightforward	straightforward	ADJ
iajs-950	68	4	.	.	PUNCT
iajs-950	69	1	theorem	theorem	VERB
iajs-950	69	2	:	:	PUNCT
iajs-950	69	3	2.11	2.11	NUM
iajs-950	69	4	.	.	PUNCT
iajs-950	70	1	the	the	DET
iajs-950	70	2	ij--perfect	ij--perfect	PROPN
iajs-950	70	3	function	function	NOUN
iajs-950	70	4	f	f	NOUN
iajs-950	70	5	:	:	PUNCT
iajs-950	70	6	(	(	PUNCT
iajs-950	70	7	x	x	X
iajs-950	70	8	,	,	PUNCT
iajs-950	70	9	1	1	ADJ
iajs-950	70	10	,	,	PUNCT
iajs-950	70	11	2)(y	2)(y	NUM
iajs-950	70	12	,	,	PUNCT
iajs-950	70	13	s1	s1	NOUN
iajs-950	70	14	,	,	PUNCT
iajs-950	70	15	s2	s2	PROPN
iajs-950	70	16	)	)	PUNCT
iajs-950	70	17	is	be	AUX
iajs-950	70	18	ij--closed	ij--close	VERB
iajs-950	70	19	.	.	PUNCT
iajs-950	71	1	proof	proof	NOUN
iajs-950	71	2	:	:	PUNCT
iajs-950	71	3	follows	follow	VERB
iajs-950	71	4	from	from	ADP
iajs-950	71	5	theorem	theorem	NOUN
iajs-950	71	6	(	(	PUNCT
iajs-950	71	7	2.10	2.10	NUM
iajs-950	71	8	)	)	PUNCT
iajs-950	71	9	and	and	CCONJ
iajs-950	71	10	theorem	theorem	VERB
iajs-950	71	11	(	(	PUNCT
iajs-950	71	12	2.8	2.8	NUM
iajs-950	71	13	(	(	PUNCT
iajs-950	71	14	a)(c	a)(c	PROPN
iajs-950	71	15	)	)	PUNCT
iajs-950	71	16	)	)	PUNCT
iajs-950	71	17	by	by	ADP
iajs-950	71	18	taking	take	VERB
iajs-950	71	19	={a	={a	PROPN
iajs-950	71	20	}	}	PUNCT
iajs-950	71	21	.	.	PUNCT
iajs-950	72	1	definition	definition	NOUN
iajs-950	72	2	:	:	PUNCT
iajs-950	72	3	2.12	2.12	NUM
iajs-950	72	4	.	.	PUNCT
iajs-950	73	1	a	a	DET
iajs-950	73	2	subset	subset	NOUN
iajs-950	73	3	a	a	PRON
iajs-950	73	4	of	of	ADP
iajs-950	73	5	bitopological	bitopological	ADJ
iajs-950	73	6	space	space	NOUN
iajs-950	73	7	(	(	PUNCT
iajs-950	73	8	x	x	X
iajs-950	73	9	,	,	PUNCT
iajs-950	73	10	1	1	ADJ
iajs-950	73	11	,	,	PUNCT
iajs-950	73	12	2	2	PROPN
iajs-950	73	13	)	)	PUNCT
iajs-950	73	14	is	be	AUX
iajs-950	73	15	said	say	VERB
iajs-950	73	16	to	to	PART
iajs-950	73	17	be	be	AUX
iajs-950	73	18	ij--rigid	ij--rigid	ADJ
iajs-950	73	19	in	in	ADP
iajs-950	73	20	x	x	PUNCT
iajs-950	73	21	if	if	SCONJ
iajs-950	73	22	for	for	ADP
iajs-950	73	23	each	each	DET
iajs-950	73	24	filter	filter	NOUN
iajs-950	73	25	base	base	NOUN
iajs-950	73	26			NOUN
iajs-950	73	27	on	on	ADP
iajs-950	73	28	x	x	PUNCT
iajs-950	73	29	with	with	ADP
iajs-950	73	30	(	(	PUNCT
iajs-950	73	31	ij--cod)a=	ij--cod)a=	PROPN
iajs-950	73	32	,	,	PUNCT
iajs-950	73	33	there	there	PRON
iajs-950	73	34	is	be	VERB
iajs-950	73	35	ui	ui	PUNCT
iajs-950	73	36	and	and	CCONJ
iajs-950	73	37	f	f	NOUN
iajs-950	73	38	such	such	ADJ
iajs-950	73	39	that	that	SCONJ
iajs-950	73	40	au	au	PROPN
iajs-950	73	41	and	and	CCONJ
iajs-950	73	42	j	j	NOUN
iajs-950	73	43	-	-	PUNCT
iajs-950	73	44	cl(u))f=	cl(u))f=	NOUN
iajs-950	73	45	,	,	PUNCT
iajs-950	73	46	or	or	CCONJ
iajs-950	73	47	equivalent	equivalent	ADJ
iajs-950	73	48	,	,	PUNCT
iajs-950	73	49	iff	iff	NOUN
iajs-950	73	50	for	for	ADP
iajs-950	73	51	each	each	DET
iajs-950	73	52	filter	filter	NOUN
iajs-950	73	53	base	base	NOUN
iajs-950	73	54			NOUN
iajs-950	73	55	on	on	ADP
iajs-950	73	56	x	x	SYM
iajs-950	73	57	whenever	whenever	SCONJ
iajs-950	73	58	a(ij--cod	a(ij--cod	X
iajs-950	73	59	)=	)=	NOUN
iajs-950	73	60	,	,	PUNCT
iajs-950	73	61	then	then	ADV
iajs-950	73	62	for	for	ADP
iajs-950	73	63	some	some	DET
iajs-950	73	64	f	f	NOUN
iajs-950	73	65	,	,	PUNCT
iajs-950	73	66	a(ij--cl(f))=.	a(ij--cl(f))=.	NOUN
iajs-950	73	67	theorem	theorem	NOUN
iajs-950	73	68	:	:	PUNCT
iajs-950	73	69	2.13	2.13	NUM
iajs-950	73	70	.	.	PUNCT
iajs-950	74	1	if	if	SCONJ
iajs-950	74	2	a	a	DET
iajs-950	74	3	function	function	NOUN
iajs-950	74	4	f	f	X
iajs-950	74	5	:	:	PUNCT
iajs-950	74	6	(	(	PUNCT
iajs-950	74	7	x	x	X
iajs-950	74	8	,	,	PUNCT
iajs-950	74	9	1	1	ADJ
iajs-950	74	10	,	,	PUNCT
iajs-950	74	11	2)(y	2)(y	NUM
iajs-950	74	12	,	,	PUNCT
iajs-950	74	13	s1	s1	NOUN
iajs-950	74	14	,	,	PUNCT
iajs-950	74	15	s2	s2	PROPN
iajs-950	74	16	)	)	PUNCT
iajs-950	74	17	is	be	AUX
iajs-950	74	18	ij--closed	ij--close	VERB
iajs-950	74	19	such	such	ADJ
iajs-950	74	20	that	that	PRON
iajs-950	74	21	for	for	ADP
iajs-950	74	22	each	each	DET
iajs-950	74	23	yy	yy	PROPN
iajs-950	74	24	,	,	PUNCT
iajs-950	74	25	f	f	PROPN
iajs-950	74	26	-1(y	-1(y	PROPN
iajs-950	74	27	)	)	PUNCT
iajs-950	74	28	is	be	AUX
iajs-950	74	29	ij--rigid	ij--rigid	ADJ
iajs-950	74	30	in	in	ADP
iajs-950	74	31	x	x	PRON
iajs-950	74	32	,	,	PUNCT
iajs-950	74	33	then	then	ADV
iajs-950	74	34	f	f	PROPN
iajs-950	74	35	is	be	AUX
iajs-950	74	36	ij--perfect	ij--perfect	ADJ
iajs-950	74	37	.	.	PUNCT
iajs-950	75	1	proof	proof	NOUN
iajs-950	75	2	:	:	PUNCT
iajs-950	75	3	let	let	VERB
iajs-950	75	4			NOUN
iajs-950	75	5	be	be	AUX
iajs-950	75	6	a	a	DET
iajs-950	75	7	filter	filter	NOUN
iajs-950	75	8	base	base	NOUN
iajs-950	75	9	on	on	ADP
iajs-950	75	10	f(x	f(x	PROPN
iajs-950	75	11	)	)	PUNCT
iajs-950	75	12	such	such	ADJ
iajs-950	75	13	that	that	SCONJ
iajs-950	75	14			NOUN
iajs-950	75	15			PRON
iajs-950	75	16	ij	ij	X
iajs-950	75	17	y	y	PROPN
iajs-950	75	18	in	in	ADP
iajs-950	75	19	y	y	PROPN
iajs-950	75	20	,	,	PUNCT
iajs-950	75	21	for	for	ADP
iajs-950	75	22	some	some	DET
iajs-950	75	23	yy	yy	NOUN
iajs-950	75	24	.	.	PUNCT
iajs-950	76	1	if	if	SCONJ
iajs-950	76	2	g	g	PROPN
iajs-950	76	3	is	be	AUX
iajs-950	76	4	a	a	DET
iajs-950	76	5	filter	filter	NOUN
iajs-950	76	6	base	base	NOUN
iajs-950	76	7	on	on	ADP
iajs-950	76	8	x	x	PUNCT
iajs-950	76	9	finer	fine	ADJ
iajs-950	76	10	than	than	ADP
iajs-950	76	11	the	the	DET
iajs-950	76	12	filter	filter	NOUN
iajs-950	76	13	base	base	NOUN
iajs-950	76	14	f	f	PROPN
iajs-950	76	15	-1(	-1(	PROPN
iajs-950	76	16	)	)	PUNCT
iajs-950	76	17	,	,	PUNCT
iajs-950	76	18	then	then	ADV
iajs-950	76	19	f(g	f(g	NOUN
iajs-950	76	20	)	)	PUNCT
iajs-950	76	21	is	be	AUX
iajs-950	76	22	a	a	DET
iajs-950	76	23	filter	filter	NOUN
iajs-950	76	24	base	base	NOUN
iajs-950	76	25	on	on	ADP
iajs-950	76	26	y	y	PROPN
iajs-950	76	27	,	,	PUNCT
iajs-950	76	28	finer	fine	ADJ
iajs-950	76	29	than	than	ADP
iajs-950	76	30	.	.	NOUN
iajs-950	76	31	since	since	SCONJ
iajs-950	76	32			NOUN
iajs-950	76	33			VERB
iajs-950	76	34			ADJ
iajs-950	76	35			PROPN
iajs-950	76	36	dij	dij	VERB
iajs-950	76	37	y	y	PROPN
iajs-950	76	38	by	by	ADP
iajs-950	76	39	theorem	theorem	NOUN
iajs-950	76	40	(	(	PUNCT
iajs-950	76	41	2.4	2.4	NUM
iajs-950	76	42	)	)	PUNCT
iajs-950	76	43	,	,	PUNCT
iajs-950	76	44	yij--cod	yij--cod	PROPN
iajs-950	76	45	f(g	f(g	NOUN
iajs-950	76	46	)	)	PUNCT
iajs-950	76	47	,	,	PUNCT
iajs-950	76	48	i.e.	i.e.	X
iajs-950	76	49	,	,	PUNCT
iajs-950	76	50	y{ij--clf(g	y{ij--clf(g	PROPN
iajs-950	76	51	)	)	PUNCT
iajs-950	76	52	:	:	PUNCT
iajs-950	76	53	gg}and	gg}and	NOUN
iajs-950	76	54	hence	hence	ADV
iajs-950	76	55	y{f(ij--cl(g	y{f(ij--cl(g	X
iajs-950	76	56	)	)	PUNCT
iajs-950	76	57	:	:	PUNCT
iajs-950	76	58	gg	gg	CCONJ
iajs-950	76	59	}	}	PUNCT
iajs-950	76	60	by	by	ADP
iajs-950	76	61	theorem	theorem	NOUN
iajs-950	76	62	(	(	PUNCT
iajs-950	76	63	2.10	2.10	NUM
iajs-950	76	64	)	)	PUNCT
iajs-950	76	65	,	,	PUNCT
iajs-950	76	66	since	since	SCONJ
iajs-950	76	67	f	f	PROPN
iajs-950	76	68	is	be	AUX
iajs-950	76	69	ij--closed	ij--close	VERB
iajs-950	76	70	.	.	PUNCT
iajs-950	77	1	then	then	ADV
iajs-950	77	2	f	f	PROPN
iajs-950	77	3	-1(y)ij-cl(g)	-1(y)ij-cl(g)	PROPN
iajs-950	77	4	,	,	PUNCT
iajs-950	77	5	for	for	ADP
iajs-950	77	6	all	all	DET
iajs-950	77	7	gg	gg	PROPN
iajs-950	77	8	.	.	PUNCT
iajs-950	77	9	hence	hence	ADV
iajs-950	77	10	for	for	ADP
iajs-950	77	11	all	all	PRON
iajs-950	77	12	ui	ui	PUNCT
iajs-950	77	13	with	with	ADP
iajs-950	77	14	f	f	PROPN
iajs-950	77	15	-1	-1	PUNCT
iajs-950	77	16	(	(	PUNCT
iajs-950	77	17	y)u	y)u	NOUN
iajs-950	77	18	,	,	PUNCT
iajs-950	77	19	j	j	NOUN
iajs-950	77	20	-	-	PUNCT
iajs-950	77	21	cl	cl	NOUN
iajs-950	77	22			X
iajs-950	77	23	(	(	PUNCT
iajs-950	77	24	u)g	u)g	ADJ
iajs-950	77	25	,	,	PUNCT
iajs-950	77	26	for	for	ADP
iajs-950	77	27	all	all	DET
iajs-950	77	28	gg	gg	PROPN
iajs-950	77	29	.	.	PUNCT
iajs-950	78	1	since	since	SCONJ
iajs-950	78	2	f	f	PROPN
iajs-950	78	3	-1(y	-1(y	PROPN
iajs-950	78	4	)	)	PUNCT
iajs-950	78	5	is	be	AUX
iajs-950	78	6	ij--rigid	ij--rigid	ADJ
iajs-950	78	7	,	,	PUNCT
iajs-950	78	8	it	it	PRON
iajs-950	78	9	then	then	ADV
iajs-950	78	10	follows	follow	VERB
iajs-950	78	11	that	that	SCONJ
iajs-950	78	12	f	f	PROPN
iajs-950	78	13	-1(y)(ij--codg).	-1(y)(ij--codg).	PROPN
iajs-950	78	14	thus	thus	ADV
iajs-950	78	15	f	f	PROPN
iajs-950	78	16	-1(	-1(	PROPN
iajs-950	78	17	)	)	PUNCT
iajs-950	78	18			VERB
iajs-950	78	19			PROPN
iajs-950	78	20			PROPN
iajs-950	78	21	dij	dij	VERB
iajs-950	78	22	f	f	PROPN
iajs-950	78	23	-1(y	-1(y	PROPN
iajs-950	78	24	)	)	PUNCT
iajs-950	78	25	.	.	PUNCT
iajs-950	79	1	hence	hence	ADV
iajs-950	79	2	by	by	ADP
iajs-950	79	3	theorem	theorem	NOUN
iajs-950	79	4	(	(	PUNCT
iajs-950	79	5	2.8	2.8	NUM
iajs-950	79	6	(	(	PUNCT
iajs-950	79	7	b)(a	b)(a	NOUN
iajs-950	79	8	)	)	PUNCT
iajs-950	79	9	)	)	PUNCT
iajs-950	79	10	,	,	PUNCT
iajs-950	79	11	f	f	PROPN
iajs-950	79	12	is	be	AUX
iajs-950	79	13	ij--perfect	ij--perfect	ADJ
iajs-950	79	14	.	.	PUNCT
iajs-950	80	1	definition	definition	NOUN
iajs-950	80	2	:	:	PUNCT
iajs-950	80	3	2.14	2.14	NUM
iajs-950	80	4	.	.	PUNCT
iajs-950	81	1	a	a	DET
iajs-950	81	2	function	function	NOUN
iajs-950	81	3	f	f	NOUN
iajs-950	81	4	:	:	PUNCT
iajs-950	81	5	(	(	PUNCT
iajs-950	81	6	x	x	X
iajs-950	81	7	,	,	PUNCT
iajs-950	81	8	1	1	ADJ
iajs-950	81	9	,	,	PUNCT
iajs-950	81	10	2)(y	2)(y	NUM
iajs-950	81	11	,	,	PUNCT
iajs-950	81	12	s1	s1	NOUN
iajs-950	81	13	,	,	PUNCT
iajs-950	81	14	s2	s2	PROPN
iajs-950	81	15	)	)	PUNCT
iajs-950	81	16	is	be	AUX
iajs-950	81	17	called	call	VERB
iajs-950	81	18	ij--continuous	ij--continuous	ADJ
iajs-950	81	19	if	if	SCONJ
iajs-950	81	20	for	for	ADP
iajs-950	81	21	any	any	DET
iajs-950	81	22	siopen	siopen	NOUN
iajs-950	81	23	nbd	nbd	PROPN
iajs-950	81	24	v	v	PROPN
iajs-950	81	25	of	of	ADP
iajs-950	81	26	f(x	f(x	PROPN
iajs-950	81	27	)	)	PUNCT
iajs-950	81	28	,	,	PUNCT
iajs-950	81	29	there	there	PRON
iajs-950	81	30	exists	exist	VERB
iajs-950	81	31	a	a	DET
iajs-950	81	32	i	i	NOUN
iajs-950	81	33	-	-	ADJ
iajs-950	81	34	open	open	ADJ
iajs-950	81	35	nbd	nbd	PROPN
iajs-950	81	36	u	u	PROPN
iajs-950	81	37	of	of	ADP
iajs-950	81	38	x	x	SYM
iajs-950	81	39	such	such	ADJ
iajs-950	81	40	that	that	SCONJ
iajs-950	81	41	f(j	f(j	PROPN
iajs-950	81	42	-	-	PUNCT
iajs-950	81	43	cl(u))sj	cl(u))sj	NOUN
iajs-950	81	44	-	-	PUNCT
iajs-950	81	45	cl(v	cl(v	NOUN
iajs-950	81	46	)	)	PUNCT
iajs-950	81	47	.	.	PUNCT
iajs-950	82	1	theorem	theorem	VERB
iajs-950	82	2	:	:	PUNCT
iajs-950	82	3	2.15	2.15	NUM
iajs-950	82	4	.	.	PUNCT
iajs-950	83	1	if	if	SCONJ
iajs-950	83	2	an	an	DET
iajs-950	83	3	ij--continuous	ij--continuous	ADJ
iajs-950	83	4	function	function	NOUN
iajs-950	83	5	f	f	NOUN
iajs-950	83	6	:	:	PUNCT
iajs-950	83	7	(	(	PUNCT
iajs-950	83	8	x	x	X
iajs-950	83	9	,	,	PUNCT
iajs-950	83	10	1	1	ADJ
iajs-950	83	11	,	,	PUNCT
iajs-950	83	12	2)(y	2)(y	NUM
iajs-950	83	13	,	,	PUNCT
iajs-950	83	14	s1	s1	NOUN
iajs-950	83	15	,	,	PUNCT
iajs-950	83	16	s2	s2	PROPN
iajs-950	83	17	)	)	PUNCT
iajs-950	83	18	is	be	AUX
iajs-950	83	19	ij--perfect	ij--perfect	NOUN
iajs-950	83	20	then	then	ADV
iajs-950	83	21	f	f	PROPN
iajs-950	83	22	is	be	AUX
iajs-950	83	23	ij--closed	ij--close	VERB
iajs-950	83	24	and	and	CCONJ
iajs-950	83	25	for	for	ADP
iajs-950	83	26	each	each	DET
iajs-950	83	27	yy	yy	PROPN
iajs-950	83	28	,	,	PUNCT
iajs-950	83	29	f	f	PROPN
iajs-950	83	30	-1(y	-1(y	PROPN
iajs-950	83	31	)	)	PUNCT
iajs-950	83	32	is	be	AUX
iajs-950	83	33	ij--rigid	ij--rigid	ADJ
iajs-950	83	34	in	in	ADP
iajs-950	83	35	x.	x.	NOUN
iajs-950	83	36	proof	proof	NOUN
iajs-950	83	37	:	:	PUNCT
iajs-950	83	38	by	by	ADP
iajs-950	83	39	theorem	theorem	NOUN
iajs-950	83	40	(	(	PUNCT
iajs-950	83	41	2.11	2.11	NUM
iajs-950	83	42	)	)	PUNCT
iajs-950	83	43	f	f	NOUN
iajs-950	84	1	an	an	DET
iajs-950	84	2	ij--perfect	ij--perfect	ADJ
iajs-950	84	3	function	function	NOUN
iajs-950	84	4	is	be	AUX
iajs-950	84	5	ij--closed	ij--close	VERB
iajs-950	84	6	.	.	PUNCT
iajs-950	85	1	to	to	PART
iajs-950	85	2	prove	prove	VERB
iajs-950	85	3	the	the	DET
iajs-950	85	4	other	other	ADJ
iajs-950	85	5	part	part	NOUN
iajs-950	85	6	,	,	PUNCT
iajs-950	85	7	let	let	VERB
iajs-950	85	8	yy	yy	VERB
iajs-950	85	9	,	,	PUNCT
iajs-950	85	10	and	and	CCONJ
iajs-950	85	11	suppose	suppose	VERB
iajs-950	85	12			NOUN
iajs-950	85	13	is	be	AUX
iajs-950	85	14	a	a	DET
iajs-950	85	15	filter	filter	NOUN
iajs-950	85	16	base	base	NOUN
iajs-950	85	17	on	on	ADP
iajs-950	85	18	x	x	SYM
iajs-950	85	19	such	such	ADJ
iajs-950	85	20	that	that	PRON
iajs-950	85	21	(	(	PUNCT
iajs-950	85	22	ij--cod	ij--cod	NOUN
iajs-950	85	23	)f	)f	PROPN
iajs-950	85	24	-1(y)=.	-1(y)=.	PROPN
iajs-950	85	25	then	then	ADV
iajs-950	85	26	yf(ij--cod	yf(ij--cod	NOUN
iajs-950	85	27			NOUN
iajs-950	85	28	)	)	PUNCT
iajs-950	85	29	.	.	PUNCT
iajs-950	86	1	since	since	SCONJ
iajs-950	86	2	f	f	PROPN
iajs-950	86	3	is	be	AUX
iajs-950	86	4	ij--perfect	ij--perfect	NOUN
iajs-950	86	5	,	,	PUNCT
iajs-950	86	6	by	by	ADP
iajs-950	86	7	theorem	theorem	NOUN
iajs-950	86	8	(	(	PUNCT
iajs-950	86	9	2.8	2.8	NUM
iajs-950	86	10	(	(	PUNCT
iajs-950	86	11	a)(c	a)(c	PROPN
iajs-950	86	12	)	)	PUNCT
iajs-950	86	13	)	)	PUNCT
iajs-950	87	1	yij--cod	yij--cod	PROPN
iajs-950	87	2	f(	f(	ADJ
iajs-950	87	3	)	)	PUNCT
iajs-950	87	4	.	.	PUNCT
iajs-950	88	1	thus	thus	ADV
iajs-950	88	2	there	there	PRON
iajs-950	88	3	exists	exist	VERB
iajs-950	88	4	an	an	DET
iajs-950	88	5	f	f	NOUN
iajs-950	88	6			VERB
iajs-950	88	7	such	such	ADJ
iajs-950	88	8	that	that	SCONJ
iajs-950	88	9	yij--cl	yij--cl	NUM
iajs-950	88	10			PROPN
iajs-950	88	11	f(f	f(f	PROPN
iajs-950	88	12	)	)	PUNCT
iajs-950	88	13	.	.	PUNCT
iajs-950	89	1	there	there	PRON
iajs-950	89	2	exists	exist	VERB
iajs-950	89	3	an	an	DET
iajs-950	89	4	si	si	ADJ
iajs-950	89	5	-	-	ADJ
iajs-950	89	6	open	open	ADJ
iajs-950	89	7	nbd	nbd	PROPN
iajs-950	89	8	v	v	PROPN
iajs-950	89	9	of	of	ADP
iajs-950	89	10	y	y	PRON
iajs-950	89	11	such	such	ADJ
iajs-950	89	12	that	that	SCONJ
iajs-950	89	13	sj	sj	NOUN
iajs-950	89	14	-	-	NOUN
iajs-950	89	15	cl	cl	ADJ
iajs-950	89	16			X
iajs-950	89	17	(	(	PUNCT
iajs-950	89	18	v)f(f)=.	v)f(f)=.	PROPN
iajs-950	89	19	since	since	SCONJ
iajs-950	89	20	f	f	PROPN
iajs-950	89	21	is	be	AUX
iajs-950	89	22	ij--continuous	ij--continuous	ADJ
iajs-950	89	23	,	,	PUNCT
iajs-950	89	24	for	for	ADP
iajs-950	89	25	each	each	PRON
iajs-950	89	26	xf	xf	PUNCT
iajs-950	90	1	-1	-1	X
iajs-950	90	2	(	(	PUNCT
iajs-950	90	3	y	y	X
iajs-950	90	4	)	)	PUNCT
iajs-950	90	5	we	we	PRON
iajs-950	90	6	shall	shall	AUX
iajs-950	90	7	get	get	VERB
iajs-950	90	8	a	a	DET
iajs-950	90	9	i	i	NOUN
iajs-950	90	10	-	-	ADJ
iajs-950	90	11	open	open	ADJ
iajs-950	90	12	nbd	nbd	PROPN
iajs-950	90	13	ux	ux	PROPN
iajs-950	90	14	of	of	ADP
iajs-950	90	15	x	x	SYM
iajs-950	90	16	such	such	ADJ
iajs-950	90	17	that	that	SCONJ
iajs-950	90	18	f(jcl	f(jcl	ADJ
iajs-950	90	19	(ux)sj	(ux)sj	PROPN
iajs-950	90	20	-	-	PUNCT
iajs-950	90	21	cl(v)y	cl(v)y	NOUN
iajs-950	90	22	-	-	PUNCT
iajs-950	90	23	f(f	f(f	PROPN
iajs-950	90	24	)	)	PUNCT
iajs-950	90	25	.	.	PUNCT
iajs-950	91	1	then	then	ADV
iajs-950	91	2	f(j	f(j	PROPN
iajs-950	91	3	-	-	PUNCT
iajs-950	91	4	cl(ux)f(f)=	cl(ux)f(f)=	NOUN
iajs-950	91	5	,	,	PUNCT
iajs-950	91	6	so	so	SCONJ
iajs-950	91	7	that	that	SCONJ
iajs-950	91	8	j	j	NOUN
iajs-950	91	9	-	-	PUNCT
iajs-950	91	10	cl(ux)f=.	cl(ux)f=.	NOUN
iajs-950	91	11	then	then	ADV
iajs-950	91	12	xij-cl(f	xij-cl(f	PROPN
iajs-950	91	13	)	)	PUNCT
iajs-950	91	14	,	,	PUNCT
iajs-950	91	15	for	for	ADP
iajs-950	91	16	all	all	DET
iajs-950	91	17	x	x	PROPN
iajs-950	91	18	f	f	PROPN
iajs-950	91	19	-1(y	-1(y	PROPN
iajs-950	91	20	)	)	PUNCT
iajs-950	91	21	,	,	PUNCT
iajs-950	91	22	so	so	SCONJ
iajs-950	91	23	that	that	SCONJ
iajs-950	91	24	f	f	PROPN
iajs-950	91	25	-1(y)(ij--cl(f))=	-1(y)(ij--cl(f))=	NOUN
iajs-950	91	26	,	,	PUNCT
iajs-950	91	27	hence	hence	ADV
iajs-950	91	28	f	f	PROPN
iajs-950	91	29	-1(y	-1(y	PROPN
iajs-950	91	30	)	)	PUNCT
iajs-950	91	31	is	be	AUX
iajs-950	91	32	ij--rigid	ij--rigid	ADJ
iajs-950	91	33	in	in	ADP
iajs-950	91	34	x.	x.	NOUN
iajs-950	91	35	from	from	ADP
iajs-950	91	36	theorems	theorem	NOUN
iajs-950	91	37	(	(	PUNCT
iajs-950	91	38	2.13	2.13	NUM
iajs-950	91	39	)	)	PUNCT
iajs-950	91	40	and	and	CCONJ
iajs-950	91	41	(	(	PUNCT
iajs-950	91	42	2.15	2.15	NUM
iajs-950	91	43	)	)	PUNCT
iajs-950	91	44	we	we	PRON
iajs-950	91	45	obtain	obtain	VERB
iajs-950	91	46	.	.	PUNCT
iajs-950	92	1	corollary	corollary	ADJ
iajs-950	92	2	:	:	PUNCT
iajs-950	93	1	2.16	2.16	NUM
iajs-950	93	2	.	.	PUNCT
iajs-950	94	1	an	an	DET
iajs-950	94	2	ij--continuous	ij--continuous	ADJ
iajs-950	94	3	function	function	NOUN
iajs-950	94	4	f	f	NOUN
iajs-950	94	5	:	:	PUNCT
iajs-950	94	6	(	(	PUNCT
iajs-950	94	7	x	x	X
iajs-950	94	8	,	,	PUNCT
iajs-950	94	9	1	1	ADJ
iajs-950	94	10	,	,	PUNCT
iajs-950	94	11	2)(y	2)(y	NUM
iajs-950	94	12	,	,	PUNCT
iajs-950	94	13	s1	s1	NOUN
iajs-950	94	14	,	,	PUNCT
iajs-950	94	15	s2	s2	PROPN
iajs-950	94	16	)	)	PUNCT
iajs-950	94	17	is	be	AUX
iajs-950	94	18	ij--perfect	ij--perfect	ADJ
iajs-950	94	19	if	if	SCONJ
iajs-950	94	20	f	f	PROPN
iajs-950	94	21	is	be	AUX
iajs-950	94	22	ij--closed	ij--close	VERB
iajs-950	94	23	and	and	CCONJ
iajs-950	94	24	for	for	ADP
iajs-950	94	25	each	each	DET
iajs-950	94	26	yy	yy	PROPN
iajs-950	94	27	,	,	PUNCT
iajs-950	94	28	f	f	PROPN
iajs-950	94	29	-1	-1	X
iajs-950	94	30	(	(	PUNCT
iajs-950	94	31	y	y	X
iajs-950	94	32	)	)	PUNCT
iajs-950	94	33	is	be	AUX
iajs-950	94	34	ij--rigid	ij--rigid	ADJ
iajs-950	94	35	in	in	ADP
iajs-950	94	36	x.	x.	NOUN
iajs-950	94	37	we	we	PRON
iajs-950	94	38	show	show	VERB
iajs-950	94	39	that	that	SCONJ
iajs-950	94	40	the	the	DET
iajs-950	94	41	above	above	ADJ
iajs-950	94	42	theorem	theorem	NOUN
iajs-950	94	43	remains	remain	VERB
iajs-950	94	44	valid	valid	ADJ
iajs-950	94	45	if	if	SCONJ
iajs-950	94	46	ij--closedness	ij--closedness	PROPN
iajs-950	94	47	of	of	ADP
iajs-950	94	48	f	f	PROPN
iajs-950	94	49	is	be	AUX
iajs-950	94	50	replaced	replace	VERB
iajs-950	94	51	by	by	ADP
iajs-950	94	52	a	a	DET
iajs-950	94	53	strictly	strictly	ADV
iajs-950	94	54	weaker	weak	ADJ
iajs-950	94	55	condition	condition	NOUN
iajs-950	94	56	which	which	PRON
iajs-950	94	57	we	we	PRON
iajs-950	94	58	shall	shall	AUX
iajs-950	94	59	call	call	VERB
iajs-950	94	60	weak	weak	ADJ
iajs-950	94	61	ij--closedness	ij--closedness	NOUN
iajs-950	94	62	of	of	ADP
iajs-950	94	63	f.	f.	PROPN
iajs-950	94	64	thus	thus	ADV
iajs-950	94	65	we	we	PRON
iajs-950	94	66	define	define	VERB
iajs-950	94	67	as	as	SCONJ
iajs-950	94	68	follows	follow	VERB
iajs-950	94	69	.	.	PUNCT
iajs-950	95	1	definition	definition	NOUN
iajs-950	95	2	:	:	PUNCT
iajs-950	95	3	2.17	2.17	NUM
iajs-950	95	4	.	.	PUNCT
iajs-950	96	1	a	a	DET
iajs-950	96	2	function	function	NOUN
iajs-950	96	3	f	f	NOUN
iajs-950	96	4	:	:	PUNCT
iajs-950	96	5	(	(	PUNCT
iajs-950	96	6	x	x	X
iajs-950	96	7	,	,	PUNCT
iajs-950	96	8	1	1	ADJ
iajs-950	96	9	,	,	PUNCT
iajs-950	96	10	2)(y	2)(y	NUM
iajs-950	96	11	,	,	PUNCT
iajs-950	96	12	s1	s1	NOUN
iajs-950	96	13	,	,	PUNCT
iajs-950	96	14	s2	s2	PROPN
iajs-950	96	15	)	)	PUNCT
iajs-950	96	16	is	be	AUX
iajs-950	96	17	said	say	VERB
iajs-950	96	18	to	to	PART
iajs-950	96	19	be	be	AUX
iajs-950	96	20	weakly	weakly	ADV
iajs-950	96	21	ij--closed	ij--close	VERB
iajs-950	96	22	if	if	SCONJ
iajs-950	96	23	for	for	ADP
iajs-950	96	24	every	every	DET
iajs-950	96	25	yf(x	yf(x	NOUN
iajs-950	96	26	)	)	PUNCT
iajs-950	96	27	and	and	CCONJ
iajs-950	96	28	every	every	DET
iajs-950	96	29	i	i	NOUN
iajs-950	96	30	-	-	ADJ
iajs-950	96	31	open	open	ADJ
iajs-950	96	32	set	set	NOUN
iajs-950	96	33	u	u	NOUN
iajs-950	96	34	containing	contain	VERB
iajs-950	96	35	f	f	PROPN
iajs-950	96	36	-1(y	-1(y	PROPN
iajs-950	96	37	)	)	PUNCT
iajs-950	96	38	in	in	ADP
iajs-950	96	39	x	x	SYM
iajs-950	96	40	,	,	PUNCT
iajs-950	96	41	there	there	PRON
iajs-950	96	42	exists	exist	VERB
iajs-950	96	43	a	a	DET
iajs-950	96	44	si	si	ADJ
iajs-950	96	45	-	-	ADJ
iajs-950	96	46	open	open	ADJ
iajs-950	96	47	nbd	nbd	PROPN
iajs-950	96	48	v	v	PROPN
iajs-950	96	49	of	of	ADP
iajs-950	96	50	y	y	PRON
iajs-950	96	51	such	such	ADJ
iajs-950	96	52	that	that	SCONJ
iajs-950	96	53	f	f	PROPN
iajs-950	96	54	-1(sj	-1(sj	PROPN
iajs-950	96	55	-	-	PUNCT
iajs-950	96	56	cl(v))j	cl(v))j	NOUN
iajs-950	96	57	-	-	PUNCT
iajs-950	96	58	cl(u	cl(u	NOUN
iajs-950	96	59	)	)	PUNCT
iajs-950	96	60	.	.	PUNCT
iajs-950	97	1	theorem	theorem	VERB
iajs-950	97	2	:	:	PUNCT
iajs-950	97	3	2.18	2.18	NUM
iajs-950	97	4	.	.	PUNCT
iajs-950	98	1	the	the	DET
iajs-950	98	2	ij--closed	ij--close	VERB
iajs-950	98	3	function	function	NOUN
iajs-950	98	4	f	f	NOUN
iajs-950	98	5	:	:	PUNCT
iajs-950	98	6	(	(	PUNCT
iajs-950	98	7	x	x	X
iajs-950	98	8	,	,	PUNCT
iajs-950	98	9	1	1	ADJ
iajs-950	98	10	,	,	PUNCT
iajs-950	98	11	2)(y	2)(y	NUM
iajs-950	98	12	,	,	PUNCT
iajs-950	98	13	s1	s1	NOUN
iajs-950	98	14	,	,	PUNCT
iajs-950	98	15	s2	s2	PROPN
iajs-950	98	16	)	)	PUNCT
iajs-950	98	17	is	be	AUX
iajs-950	98	18	weakly	weakly	ADV
iajs-950	98	19	ij--closed	ij--close	VERB
iajs-950	98	20	.	.	PUNCT
iajs-950	99	1	proof	proof	NOUN
iajs-950	99	2	:	:	PUNCT
iajs-950	99	3	let	let	VERB
iajs-950	99	4	yf(x	yf(x	NOUN
iajs-950	99	5	)	)	PUNCT
iajs-950	99	6	and	and	CCONJ
iajs-950	99	7	let	let	VERB
iajs-950	99	8	u	u	PRON
iajs-950	99	9	be	be	AUX
iajs-950	99	10	a	a	DET
iajs-950	99	11	i	i	NOUN
iajs-950	99	12	-	-	ADJ
iajs-950	99	13	open	open	ADJ
iajs-950	99	14	set	set	NOUN
iajs-950	99	15	containing	contain	VERB
iajs-950	99	16	f	f	PROPN
iajs-950	99	17	-1	-1	PROPN
iajs-950	99	18	(	(	PUNCT
iajs-950	99	19	y	y	NOUN
iajs-950	99	20	)	)	PUNCT
iajs-950	99	21	in	in	ADP
iajs-950	99	22	x.	x.	NOUN
iajs-950	99	23	by	by	ADP
iajs-950	99	24	theorem	theorem	NOUN
iajs-950	99	25	(	(	PUNCT
iajs-950	99	26	2.10	2.10	NUM
iajs-950	99	27	)	)	PUNCT
iajs-950	99	28	and	and	CCONJ
iajs-950	99	29	since	since	SCONJ
iajs-950	99	30	f	f	PROPN
iajs-950	99	31	is	be	AUX
iajs-950	99	32	ij--closed	ij--close	VERB
iajs-950	99	33	,	,	PUNCT
iajs-950	99	34	we	we	PRON
iajs-950	99	35	have	have	VERB
iajs-950	99	36	ij--cl	ij--cl	PROPN
iajs-950	99	37			X
iajs-950	99	38	f(x-j	f(x-j	PROPN
iajs-950	99	39	-	-	PUNCT
iajs-950	99	40	cl	cl	NOUN
iajs-950	99	41			X
iajs-950	99	42	(	(	PUNCT
iajs-950	99	43	u))f[i	u))f[i	NOUN
iajs-950	99	44	-	-	PUNCT
iajs-950	99	45	cl	cl	NOUN
iajs-950	99	46			X
iajs-950	99	47	(	(	PUNCT
iajs-950	99	48	x-j	x-j	PROPN
iajs-950	99	49	-	-	PUNCT
iajs-950	99	50	cl	cl	NOUN
iajs-950	99	51			X
iajs-950	99	52	(	(	PUNCT
iajs-950	99	53	u	u	NOUN
iajs-950	99	54	)	)	PUNCT
iajs-950	99	55	]	]	PUNCT
iajs-950	99	56	.	.	PUNCT
iajs-950	100	1	now	now	ADV
iajs-950	100	2	since	since	SCONJ
iajs-950	100	3	yf[icl	yf[icl	PROPN
iajs-950	100	4	(x-j	(x-j	PROPN
iajs-950	100	5	-	-	PUNCT
iajs-950	100	6	cl(u	cl(u	PROPN
iajs-950	100	7	)	)	PUNCT
iajs-950	100	8	]	]	PUNCT
iajs-950	100	9	,	,	PUNCT
iajs-950	100	10	yij--clf(x-j	yij--clf(x-j	NOUN
iajs-950	100	11	-	-	PUNCT
iajs-950	100	12	cl(u	cl(u	PROPN
iajs-950	100	13	)	)	PUNCT
iajs-950	100	14	)	)	PUNCT
iajs-950	101	1	and	and	CCONJ
iajs-950	101	2	thus	thus	ADV
iajs-950	101	3	there	there	PRON
iajs-950	101	4	exists	exist	VERB
iajs-950	101	5	an	an	DET
iajs-950	101	6	si	si	ADJ
iajs-950	101	7	-	-	ADJ
iajs-950	101	8	open	open	ADJ
iajs-950	101	9	nbd	nbd	PROPN
iajs-950	101	10	v	v	PROPN
iajs-950	101	11	of	of	ADP
iajs-950	101	12	y	y	PROPN
iajs-950	101	13	in	in	ADP
iajs-950	101	14	y	y	PROPN
iajs-950	101	15	such	such	ADJ
iajs-950	101	16	that	that	SCONJ
iajs-950	101	17	sj	sj	PROPN
iajs-950	101	18	-	-	PUNCT
iajs-950	101	19	cl(v)f(x-j	cl(v)f(x-j	NOUN
iajs-950	101	20	-	-	PUNCT
iajs-950	101	21	cl(u))=	cl(u))=	NOUN
iajs-950	101	22	which	which	PRON
iajs-950	101	23	implies	imply	VERB
iajs-950	101	24	that	that	SCONJ
iajs-950	101	25	f	f	PROPN
iajs-950	101	26	-1(sj	-1(sj	PROPN
iajs-950	101	27	-	-	PUNCT
iajs-950	101	28	cl(v))(x-j	cl(v))(x-j	NOUN
iajs-950	101	29	-	-	PUNCT
iajs-950	101	30	cl(u))=	cl(u))=	NOUN
iajs-950	101	31	,	,	PUNCT
iajs-950	101	32	i.e.	i.e.	X
iajs-950	101	33	,	,	PUNCT
iajs-950	101	34	f	f	PROPN
iajs-950	101	35	-1(sj	-1(sj	PROPN
iajs-950	101	36	-	-	PUNCT
iajs-950	101	37	cl(v))j	cl(v))j	NOUN
iajs-950	101	38	-	-	PUNCT
iajs-950	101	39	cl(u	cl(u	NOUN
iajs-950	101	40	)	)	PUNCT
iajs-950	101	41	,	,	PUNCT
iajs-950	101	42	and	and	CCONJ
iajs-950	101	43	thus	thus	ADV
iajs-950	101	44	f	f	X
iajs-950	101	45	is	be	AUX
iajs-950	101	46	weakly	weakly	ADV
iajs-950	101	47	ij--closed	ij--close	VERB
iajs-950	101	48	.	.	PUNCT
iajs-950	102	1	ihjpas	ihjpas	PROPN
iajs-950	102	2	ibn	ibn	PROPN
iajs-950	102	3	alhaitham	alhaitham	PROPN
iajs-950	102	4	j.	j.	PROPN
iajs-950	102	5	for	for	ADP
iajs-950	102	6	pure	pure	ADJ
iajs-950	102	7	&	&	CCONJ
iajs-950	102	8	appl	appl	PROPN
iajs-950	102	9	.	.	PUNCT
iajs-950	103	1	sci	sci	PROPN
iajs-950	103	2	.	.	PUNCT
iajs-950	104	1	vol.23	vol.23	PROPN
iajs-950	104	2	(	(	PUNCT
iajs-950	104	3	2	2	NUM
iajs-950	104	4	)	)	PUNCT
iajs-950	104	5	2010	2010	NUM
iajs-950	104	6	the	the	DET
iajs-950	104	7	converse	converse	NOUN
iajs-950	104	8	of	of	ADP
iajs-950	104	9	the	the	DET
iajs-950	104	10	above	above	ADJ
iajs-950	104	11	theorem	theorem	NOUN
iajs-950	104	12	is	be	AUX
iajs-950	104	13	not	not	PART
iajs-950	104	14	true	true	ADJ
iajs-950	104	15	,	,	PUNCT
iajs-950	104	16	which	which	PRON
iajs-950	104	17	is	be	AUX
iajs-950	104	18	shown	show	VERB
iajs-950	104	19	in	in	ADP
iajs-950	104	20	the	the	DET
iajs-950	104	21	next	next	ADJ
iajs-950	104	22	example	example	NOUN
iajs-950	104	23	.	.	PUNCT
iajs-950	105	1	example	example	NOUN
iajs-950	105	2	:	:	PUNCT
iajs-950	106	1	2.19	2.19	NUM
iajs-950	106	2	.	.	PUNCT
iajs-950	107	1	let	let	VERB
iajs-950	107	2	1	1	NUM
iajs-950	107	3	,	,	PUNCT
iajs-950	107	4	2	2	PROPN
iajs-950	107	5	,	,	PUNCT
iajs-950	107	6	s1	s1	PROPN
iajs-950	107	7	and	and	CCONJ
iajs-950	107	8	s2	s2	NOUN
iajs-950	107	9	be	be	AUX
iajs-950	107	10	any	any	DET
iajs-950	107	11	topologies	topology	NOUN
iajs-950	107	12	and	and	CCONJ
iajs-950	107	13	f	f	NOUN
iajs-950	107	14	:	:	PUNCT
iajs-950	107	15	(	(	PUNCT
iajs-950	107	16	x	x	X
iajs-950	107	17	,	,	PUNCT
iajs-950	107	18	1	1	ADJ
iajs-950	107	19	,	,	PUNCT
iajs-950	107	20	2)(y	2)(y	NUM
iajs-950	107	21	,	,	PUNCT
iajs-950	107	22	s1	s1	NOUN
iajs-950	107	23	,	,	PUNCT
iajs-950	107	24	s2	s2	PROPN
iajs-950	107	25	)	)	PUNCT
iajs-950	107	26	be	be	VERB
iajs-950	107	27	a	a	DET
iajs-950	107	28	constant	constant	ADJ
iajs-950	107	29	function	function	NOUN
iajs-950	107	30	,	,	PUNCT
iajs-950	107	31	then	then	ADV
iajs-950	107	32	f	f	PROPN
iajs-950	107	33	is	be	AUX
iajs-950	107	34	weakly	weakly	ADV
iajs-950	107	35	ij--closed	ij--close	VERB
iajs-950	107	36	for	for	ADP
iajs-950	107	37	i	i	PRON
iajs-950	107	38	,	,	PUNCT
iajs-950	107	39	j=1	j=1	NOUN
iajs-950	107	40	and	and	CCONJ
iajs-950	107	41	2	2	NUM
iajs-950	107	42	(	(	PUNCT
iajs-950	107	43	ij	ij	PROPN
iajs-950	107	44	)	)	PUNCT
iajs-950	107	45	.	.	PUNCT
iajs-950	108	1	now	now	ADV
iajs-950	108	2	,	,	PUNCT
iajs-950	108	3	let	let	VERB
iajs-950	108	4	x	x	SYM
iajs-950	108	5	=	=	NOUN
iajs-950	108	6	y	y	PROPN
iajs-950	108	7	=	=	NOUN
iajs-950	108	8	ir	ir	PROPN
iajs-950	108	9	.	.	PUNCT
iajs-950	109	1	if	if	SCONJ
iajs-950	109	2	s1	s1	PROPN
iajs-950	109	3	or	or	CCONJ
iajs-950	109	4	s2	s2	NOUN
iajs-950	109	5	is	be	AUX
iajs-950	109	6	the	the	DET
iajs-950	109	7	discrete	discrete	ADJ
iajs-950	109	8	topology	topology	NOUN
iajs-950	109	9	on	on	ADP
iajs-950	109	10	y	y	PROPN
iajs-950	109	11	,	,	PUNCT
iajs-950	109	12	then	then	ADV
iajs-950	109	13	f	f	X
iajs-950	109	14	:	:	PUNCT
iajs-950	109	15	(	(	PUNCT
iajs-950	109	16	x	x	X
iajs-950	109	17	,	,	PUNCT
iajs-950	109	18	1	1	ADJ
iajs-950	109	19	,	,	PUNCT
iajs-950	109	20	2)(y	2)(y	NUM
iajs-950	109	21	,	,	PUNCT
iajs-950	109	22	s1	s1	NOUN
iajs-950	109	23	,	,	PUNCT
iajs-950	109	24	s2	s2	PROPN
iajs-950	109	25	)	)	PUNCT
iajs-950	109	26	given	give	VERB
iajs-950	109	27	by	by	ADP
iajs-950	109	28	f(x)=0	f(x)=0	ADV
iajs-950	109	29	,	,	PUNCT
iajs-950	109	30	for	for	ADP
iajs-950	109	31	all	all	DET
iajs-950	109	32	xx	xx	PROPN
iajs-950	109	33	,	,	PUNCT
iajs-950	109	34	is	be	AUX
iajs-950	109	35	neither	neither	PRON
iajs-950	109	36	12--closed	12--closed	NUM
iajs-950	109	37	nor	nor	CCONJ
iajs-950	109	38	21--closed	21--closed	NUM
iajs-950	109	39	,	,	PUNCT
iajs-950	109	40	irrespectively	irrespectively	ADV
iajs-950	109	41	of	of	ADP
iajs-950	109	42	the	the	DET
iajs-950	109	43	topologies	topology	NOUN
iajs-950	109	44	1	1	VERB
iajs-950	109	45	,	,	PUNCT
iajs-950	109	46	2	2	PROPN
iajs-950	109	47	and	and	CCONJ
iajs-950	109	48	s2	s2	PROPN
iajs-950	109	49	(	(	PUNCT
iajs-950	109	50	or	or	CCONJ
iajs-950	109	51	s1	s1	PROPN
iajs-950	109	52	)	)	PUNCT
iajs-950	109	53	.	.	PUNCT
iajs-950	110	1	theorem	theorem	VERB
iajs-950	110	2	:	:	PUNCT
iajs-950	110	3	2.20	2.20	NUM
iajs-950	110	4	.	.	PUNCT
iajs-950	111	1	let	let	VERB
iajs-950	111	2	f	f	NOUN
iajs-950	111	3	:	:	PUNCT
iajs-950	111	4	(	(	PUNCT
iajs-950	111	5	x	x	X
iajs-950	111	6	,	,	PUNCT
iajs-950	111	7	1	1	ADJ
iajs-950	111	8	,	,	PUNCT
iajs-950	111	9	2)(y	2)(y	NUM
iajs-950	111	10	,	,	PUNCT
iajs-950	111	11	s1	s1	NOUN
iajs-950	111	12	,	,	PUNCT
iajs-950	111	13	s2	s2	PROPN
iajs-950	111	14	)	)	PUNCT
iajs-950	111	15	be	be	AUX
iajs-950	111	16	ij--continuous	ij--continuous	ADJ
iajs-950	111	17	.	.	PUNCT
iajs-950	112	1	then	then	ADV
iajs-950	112	2	f	f	PROPN
iajs-950	112	3	is	be	AUX
iajs-950	112	4	ij--perfect	ij--perfect	ADJ
iajs-950	112	5	if	if	SCONJ
iajs-950	112	6	(	(	PUNCT
iajs-950	112	7	a	a	X
iajs-950	112	8	)	)	PUNCT
iajs-950	112	9	f	f	NOUN
iajs-950	112	10	is	be	AUX
iajs-950	112	11	weakly	weakly	ADV
iajs-950	112	12	ij--closed	ij--close	VERB
iajs-950	112	13	,	,	PUNCT
iajs-950	112	14	and	and	CCONJ
iajs-950	112	15	(	(	PUNCT
iajs-950	112	16	b	b	X
iajs-950	112	17	)	)	PUNCT
iajs-950	112	18	f	f	NOUN
iajs-950	113	1	-1	-1	NOUN
iajs-950	113	2	(	(	PUNCT
iajs-950	113	3	y	y	NOUN
iajs-950	113	4	)	)	PUNCT
iajs-950	113	5	is	be	AUX
iajs-950	113	6	ij--rigid	ij--rigid	ADJ
iajs-950	113	7	,	,	PUNCT
iajs-950	113	8	for	for	ADP
iajs-950	113	9	each	each	DET
iajs-950	113	10	yy	yy	PROPN
iajs-950	113	11	.	.	PUNCT
iajs-950	114	1	proof	proof	NOUN
iajs-950	114	2	:	:	PUNCT
iajs-950	114	3	suppose	suppose	VERB
iajs-950	114	4	f	f	X
iajs-950	114	5	:	:	PUNCT
iajs-950	114	6	(	(	PUNCT
iajs-950	114	7	x	x	X
iajs-950	114	8	,	,	PUNCT
iajs-950	114	9	1	1	ADJ
iajs-950	114	10	,	,	PUNCT
iajs-950	114	11	2)(y	2)(y	NUM
iajs-950	114	12	,	,	PUNCT
iajs-950	114	13	s1	s1	NOUN
iajs-950	114	14	,	,	PUNCT
iajs-950	114	15	s2	s2	PROPN
iajs-950	114	16	)	)	PUNCT
iajs-950	114	17	is	be	AUX
iajs-950	114	18	an	an	DET
iajs-950	114	19	ij--continuous	ij--continuous	ADJ
iajs-950	114	20	function	function	NOUN
iajs-950	114	21	satisfying	satisfy	VERB
iajs-950	114	22	the	the	DET
iajs-950	114	23	conditions	condition	NOUN
iajs-950	114	24	(	(	PUNCT
iajs-950	114	25	a	a	X
iajs-950	114	26	)	)	PUNCT
iajs-950	114	27	and	and	CCONJ
iajs-950	114	28	(	(	PUNCT
iajs-950	114	29	b	b	NOUN
iajs-950	114	30	)	)	PUNCT
iajs-950	114	31	.	.	PUNCT
iajs-950	115	1	to	to	PART
iajs-950	115	2	prove	prove	VERB
iajs-950	115	3	that	that	SCONJ
iajs-950	115	4	f	f	PROPN
iajs-950	115	5	is	be	AUX
iajs-950	115	6	ij--perfect	ij--perfect	ADJ
iajs-950	115	7	we	we	PRON
iajs-950	115	8	have	have	VERB
iajs-950	115	9	to	to	PART
iajs-950	115	10	show	show	VERB
iajs-950	115	11	in	in	ADP
iajs-950	115	12	view	view	NOUN
iajs-950	115	13	of	of	ADP
iajs-950	115	14	theorem	theorem	NOUN
iajs-950	115	15	(	(	PUNCT
iajs-950	115	16	2.13	2.13	NUM
iajs-950	115	17	)	)	PUNCT
iajs-950	115	18	that	that	PRON
iajs-950	115	19	f	f	PROPN
iajs-950	115	20	is	be	AUX
iajs-950	115	21	ij--closed	ij--close	VERB
iajs-950	115	22	.	.	PUNCT
iajs-950	116	1	let	let	VERB
iajs-950	116	2	yij--clf(a	yij--clf(a	NOUN
iajs-950	116	3	)	)	PUNCT
iajs-950	116	4	,	,	PUNCT
iajs-950	116	5	for	for	SCONJ
iajs-950	116	6	some	some	DET
iajs-950	116	7	non	non	ADJ
iajs-950	116	8	-	-	ADJ
iajs-950	116	9	null	null	ADJ
iajs-950	116	10	subset	subset	VERB
iajs-950	116	11	a	a	PRON
iajs-950	116	12	of	of	ADP
iajs-950	116	13	x	x	PRON
iajs-950	116	14	,	,	PUNCT
iajs-950	116	15	but	but	CCONJ
iajs-950	116	16	yf(ij-cl(a	yf(ij-cl(a	PROPN
iajs-950	116	17	)	)	PUNCT
iajs-950	116	18	.	.	PUNCT
iajs-950	117	1	then	then	ADV
iajs-950	117	2	β	β	X
iajs-950	117	3	=	=	PRON
iajs-950	117	4	{	{	PUNCT
iajs-950	117	5	a	a	PRON
iajs-950	117	6	}	}	PUNCT
iajs-950	117	7	is	be	AUX
iajs-950	117	8	a	a	DET
iajs-950	117	9	filter	filter	NOUN
iajs-950	117	10	base	base	NOUN
iajs-950	117	11	on	on	ADP
iajs-950	117	12	x	x	PUNCT
iajs-950	117	13	and	and	CCONJ
iajs-950	117	14	(	(	PUNCT
iajs-950	117	15	ij--codβ)f	ij--codβ)f	PROPN
iajs-950	117	16	-1	-1	PROPN
iajs-950	117	17	(	(	PUNCT
iajs-950	117	18	y)=.	y)=.	NOUN
iajs-950	117	19	by	by	ADP
iajs-950	117	20	ij--rigidity	ij--rigidity	NOUN
iajs-950	117	21	of	of	ADP
iajs-950	117	22	f	f	PROPN
iajs-950	117	23	1(y	1(y	NUM
iajs-950	117	24	)	)	PUNCT
iajs-950	117	25	,	,	PUNCT
iajs-950	117	26	there	there	PRON
iajs-950	117	27	is	be	VERB
iajs-950	117	28	a	a	DET
iajs-950	117	29	i	i	NOUN
iajs-950	117	30	-	-	ADJ
iajs-950	117	31	open	open	ADJ
iajs-950	117	32	set	set	NOUN
iajs-950	117	33	u	u	NOUN
iajs-950	117	34	containing	contain	VERB
iajs-950	117	35	f	f	PROPN
iajs-950	117	36	-1(y	-1(y	PROPN
iajs-950	117	37	)	)	PUNCT
iajs-950	117	38	such	such	ADJ
iajs-950	117	39	that	that	SCONJ
iajs-950	117	40	j	j	NOUN
iajs-950	117	41	-	-	PUNCT
iajs-950	117	42	cl(u)a=.	cl(u)a=.	NOUN
iajs-950	117	43	by	by	ADP
iajs-950	117	44	weak	weak	ADJ
iajs-950	117	45	ij-closedness	ij-closedness	PROPN
iajs-950	117	46	of	of	ADP
iajs-950	117	47	f	f	NUM
iajs-950	117	48	,	,	PUNCT
iajs-950	117	49	there	there	PRON
iajs-950	117	50	exists	exist	VERB
iajs-950	117	51	an	an	DET
iajs-950	117	52	si	si	ADJ
iajs-950	117	53	-	-	ADJ
iajs-950	117	54	open	open	ADJ
iajs-950	117	55	nbd	nbd	PROPN
iajs-950	117	56	v	v	PROPN
iajs-950	117	57	of	of	ADP
iajs-950	117	58	y	y	PRON
iajs-950	117	59	such	such	ADJ
iajs-950	117	60	that	that	SCONJ
iajs-950	117	61	f	f	PROPN
iajs-950	117	62	-1(sj	-1(sj	PROPN
iajs-950	117	63	-	-	PUNCT
iajs-950	117	64	cl(v))j	cl(v))j	NOUN
iajs-950	117	65	-	-	PUNCT
iajs-950	117	66	cl(u	cl(u	NOUN
iajs-950	117	67	)	)	PUNCT
iajs-950	117	68	,	,	PUNCT
iajs-950	117	69	which	which	PRON
iajs-950	117	70	implies	imply	VERB
iajs-950	117	71	that	that	SCONJ
iajs-950	117	72	f	f	PROPN
iajs-950	117	73	-1(sj	-1(sj	PROPN
iajs-950	117	74	-	-	PUNCT
iajs-950	117	75	cl(v))a=	cl(v))a=	PROPN
iajs-950	117	76	,	,	PUNCT
iajs-950	117	77	i.e.	i.e.	X
iajs-950	117	78	,	,	PUNCT
iajs-950	117	79	(	(	PUNCT
iajs-950	117	80	sj	sj	NOUN
iajs-950	117	81	-	-	PUNCT
iajs-950	117	82	cl(v))f(a)=	cl(v))f(a)=	NOUN
iajs-950	117	83	,	,	PUNCT
iajs-950	117	84	which	which	PRON
iajs-950	117	85	is	be	AUX
iajs-950	117	86	impossible	impossible	ADJ
iajs-950	117	87	since	since	SCONJ
iajs-950	117	88	yij-clf(a	yij-clf(a	PROPN
iajs-950	117	89	)	)	PUNCT
iajs-950	117	90	.	.	PUNCT
iajs-950	118	1	hence	hence	ADV
iajs-950	118	2	yf(ij--cl(a	yf(ij--cl(a	NOUN
iajs-950	118	3	)	)	PUNCT
iajs-950	118	4	)	)	PUNCT
iajs-950	118	5	.	.	PUNCT
iajs-950	119	1	so	so	ADV
iajs-950	119	2	f	f	PROPN
iajs-950	119	3	is	be	AUX
iajs-950	119	4	ij--closed	ij--close	VERB
iajs-950	119	5	.	.	PUNCT
iajs-950	120	1	from	from	ADP
iajs-950	120	2	theorems	theorem	NOUN
iajs-950	120	3	(	(	PUNCT
iajs-950	120	4	2.18	2.18	NUM
iajs-950	120	5	)	)	PUNCT
iajs-950	120	6	and	and	CCONJ
iajs-950	120	7	(	(	PUNCT
iajs-950	120	8	2.20	2.20	NUM
iajs-950	120	9	)	)	PUNCT
iajs-950	120	10	we	we	PRON
iajs-950	120	11	get	get	VERB
iajs-950	120	12	.	.	PUNCT
iajs-950	121	1	corollary	corollary	ADJ
iajs-950	121	2	:	:	PUNCT
iajs-950	122	1	2.21	2.21	NUM
iajs-950	122	2	.	.	PUNCT
iajs-950	123	1	let	let	VERB
iajs-950	123	2	f	f	NOUN
iajs-950	123	3	:	:	PUNCT
iajs-950	123	4	(	(	PUNCT
iajs-950	123	5	x	x	X
iajs-950	123	6	,	,	PUNCT
iajs-950	123	7	1	1	ADJ
iajs-950	123	8	,	,	PUNCT
iajs-950	123	9	2)(y	2)(y	NUM
iajs-950	123	10	,	,	PUNCT
iajs-950	123	11	s1	s1	NOUN
iajs-950	123	12	,	,	PUNCT
iajs-950	123	13	s2	s2	PROPN
iajs-950	123	14	)	)	PUNCT
iajs-950	123	15	be	be	VERB
iajs-950	123	16	an	an	DET
iajs-950	123	17	ij--continuous	ij--continuous	ADJ
iajs-950	123	18	function	function	NOUN
iajs-950	123	19	.	.	PUNCT
iajs-950	124	1	then	then	ADV
iajs-950	124	2	f	f	PROPN
iajs-950	124	3	is	be	AUX
iajs-950	124	4	ij-perfect	ij-perfect	ADJ
iajs-950	124	5	if	if	SCONJ
iajs-950	124	6	(	(	PUNCT
iajs-950	124	7	a	a	X
iajs-950	124	8	)	)	PUNCT
iajs-950	124	9	f	f	NOUN
iajs-950	124	10	is	be	AUX
iajs-950	124	11	weakly	weakly	ADV
iajs-950	124	12	ij--closed	ij--close	VERB
iajs-950	124	13	,	,	PUNCT
iajs-950	124	14	and	and	CCONJ
iajs-950	125	1	(	(	PUNCT
iajs-950	125	2	b	b	X
iajs-950	125	3	)	)	PUNCT
iajs-950	125	4	f	f	PROPN
iajs-950	125	5	-1(y	-1(y	PROPN
iajs-950	125	6	)	)	PUNCT
iajs-950	125	7	is	be	AUX
iajs-950	125	8	ij--rigid	ij--rigid	ADJ
iajs-950	125	9	,	,	PUNCT
iajs-950	125	10	for	for	ADP
iajs-950	125	11	each	each	DET
iajs-950	125	12	yy	yy	PROPN
iajs-950	125	13	.	.	PUNCT
iajs-950	126	1	definition	definition	NOUN
iajs-950	126	2	:	:	PUNCT
iajs-950	126	3	2.22	2.22	NUM
iajs-950	126	4	.	.	PUNCT
iajs-950	127	1	a	a	DET
iajs-950	127	2	subset	subset	NOUN
iajs-950	127	3	a	a	PRON
iajs-950	127	4	in	in	ADP
iajs-950	127	5	bitopological	bitopological	ADJ
iajs-950	127	6	space	space	NOUN
iajs-950	127	7	(	(	PUNCT
iajs-950	127	8	x	x	X
iajs-950	127	9	,	,	PUNCT
iajs-950	127	10	1	1	ADJ
iajs-950	127	11	,	,	PUNCT
iajs-950	127	12	2	2	PROPN
iajs-950	127	13	)	)	PUNCT
iajs-950	127	14	is	be	AUX
iajs-950	127	15	called	call	VERB
iajs-950	127	16	ij--set	ij--set	VERB
iajs-950	127	17	in	in	ADP
iajs-950	127	18	x	x	SYM
iajs-950	127	19	if	if	SCONJ
iajs-950	127	20	for	for	ADP
iajs-950	127	21	each	each	DET
iajs-950	127	22	i	i	NOUN
iajs-950	127	23	-	-	ADJ
iajs-950	127	24	open	open	ADJ
iajs-950	127	25	cover	cover	VERB
iajs-950	127	26	α	α	NOUN
iajs-950	127	27	of	of	ADP
iajs-950	127	28	a	a	PRON
iajs-950	127	29	,	,	PUNCT
iajs-950	127	30	there	there	PRON
iajs-950	127	31	is	be	VERB
iajs-950	127	32	a	a	DET
iajs-950	127	33	finite	finite	ADJ
iajs-950	127	34	subcollection	subcollection	NOUN
iajs-950	127	35	β	β	X
iajs-950	127	36	of	of	ADP
iajs-950	127	37	α	α	PRON
iajs-950	127	38	such	such	ADJ
iajs-950	127	39	that	that	DET
iajs-950	127	40	a{j	a{j	PROPN
iajs-950	127	41	-	-	PUNCT
iajs-950	127	42	cl(u	cl(u	PROPN
iajs-950	127	43	)	)	PUNCT
iajs-950	127	44	:	:	PUNCT
iajs-950	128	1	bβ	bβ	PUNCT
iajs-950	128	2	}	}	PUNCT
iajs-950	128	3	.	.	PUNCT
iajs-950	129	1	theorem	theorem	VERB
iajs-950	129	2	:	:	PUNCT
iajs-950	129	3	2.23	2.23	NUM
iajs-950	129	4	.	.	PUNCT
iajs-950	130	1	a	a	DET
iajs-950	130	2	subset	subset	NOUN
iajs-950	130	3	a	a	PRON
iajs-950	130	4	of	of	ADP
iajs-950	130	5	a	a	DET
iajs-950	130	6	bitopological	bitopological	ADJ
iajs-950	130	7	space	space	NOUN
iajs-950	130	8	(	(	PUNCT
iajs-950	130	9	x	x	X
iajs-950	130	10	,	,	PUNCT
iajs-950	130	11	1	1	ADJ
iajs-950	130	12	,	,	PUNCT
iajs-950	130	13	2	2	PROPN
iajs-950	130	14	)	)	PUNCT
iajs-950	130	15	is	be	AUX
iajs-950	130	16	an	an	DET
iajs-950	130	17	ij--set	ij--set	NOUN
iajs-950	130	18	if	if	SCONJ
iajs-950	130	19	for	for	ADP
iajs-950	130	20	each	each	DET
iajs-950	130	21	filter	filter	NOUN
iajs-950	130	22	base	base	NOUN
iajs-950	130	23			NOUN
iajs-950	130	24	on	on	ADP
iajs-950	130	25	a	a	PRON
iajs-950	130	26	,	,	PUNCT
iajs-950	130	27	(	(	PUNCT
iajs-950	130	28	ij--cod)a.	ij--cod)a.	PROPN
iajs-950	130	29	proof	proof	NOUN
iajs-950	130	30	:	:	PUNCT
iajs-950	130	31	(	(	PUNCT
iajs-950	130	32			NOUN
iajs-950	130	33	)	)	PUNCT
iajs-950	130	34	clear	clear	ADJ
iajs-950	130	35	.	.	PUNCT
iajs-950	131	1	(	(	PUNCT
iajs-950	131	2			NOUN
iajs-950	131	3	)	)	PUNCT
iajs-950	131	4	let	let	VERB
iajs-950	131	5	α	α	PRON
iajs-950	131	6	be	be	AUX
iajs-950	131	7	a	a	DET
iajs-950	131	8	i	i	NOUN
iajs-950	131	9	-	-	ADJ
iajs-950	131	10	open	open	ADJ
iajs-950	131	11	cover	cover	NOUN
iajs-950	131	12	of	of	ADP
iajs-950	131	13	α	α	PRON
iajs-950	131	14	such	such	ADJ
iajs-950	131	15	that	that	SCONJ
iajs-950	131	16	the	the	DET
iajs-950	131	17	j--closed	j--close	VERB
iajs-950	131	18	of	of	ADP
iajs-950	131	19	the	the	DET
iajs-950	131	20	union	union	NOUN
iajs-950	131	21	of	of	ADP
iajs-950	131	22	any	any	DET
iajs-950	131	23	finite	finite	ADJ
iajs-950	131	24	subcollection	subcollection	NOUN
iajs-950	131	25	of	of	ADP
iajs-950	131	26	α	α	PROPN
iajs-950	131	27	is	be	AUX
iajs-950	131	28	not	not	PART
iajs-950	131	29	cover	cover	VERB
iajs-950	131	30	a.	a.	NOUN
iajs-950	131	31	then	then	ADV
iajs-950	131	32	={a\j	={a\j	NOUN
iajs-950	131	33	-	-	PUNCT
iajs-950	131	34	cl	cl	NOUN
iajs-950	131	35			PROPN
iajs-950	131	36	x(β	x(β	PROPN
iajs-950	131	37	uβ	uβ	PROPN
iajs-950	131	38	)	)	PUNCT
iajs-950	131	39	:	:	PUNCT
iajs-950	131	40	β	β	X
iajs-950	131	41	is	be	AUX
iajs-950	131	42	finite	finite	ADJ
iajs-950	131	43	sub	sub	NOUN
iajs-950	131	44	collection	collection	NOUN
iajs-950	131	45	of	of	ADP
iajs-950	131	46	α	α	PROPN
iajs-950	131	47	}	}	PUNCT
iajs-950	131	48	is	be	AUX
iajs-950	131	49	a	a	DET
iajs-950	131	50	filter	filter	NOUN
iajs-950	131	51	base	base	NOUN
iajs-950	131	52	on	on	ADP
iajs-950	131	53	a	a	PRON
iajs-950	131	54	and	and	CCONJ
iajs-950	131	55	(	(	PUNCT
iajs-950	131	56	ij--cod)a=.	ij--cod)a=.	NOUN
iajs-950	131	57	this	this	DET
iajs-950	131	58	contradiction	contradiction	NOUN
iajs-950	131	59	yields	yield	VERB
iajs-950	131	60	that	that	PRON
iajs-950	131	61	a	a	PRON
iajs-950	131	62	is	be	AUX
iajs-950	131	63	ij--set	ij--set	VERB
iajs-950	131	64	.	.	PUNCT
iajs-950	132	1	theorem	theorem	VERB
iajs-950	132	2	:	:	PUNCT
iajs-950	132	3	2.24	2.24	NUM
iajs-950	132	4	.	.	PUNCT
iajs-950	133	1	if	if	SCONJ
iajs-950	133	2	f	f	PROPN
iajs-950	133	3	:	:	PUNCT
iajs-950	133	4	(	(	PUNCT
iajs-950	133	5	x	x	X
iajs-950	133	6	,	,	PUNCT
iajs-950	133	7	1	1	ADJ
iajs-950	133	8	,	,	PUNCT
iajs-950	133	9	2)(y	2)(y	NUM
iajs-950	133	10	,	,	PUNCT
iajs-950	133	11	s1	s1	NOUN
iajs-950	133	12	,	,	PUNCT
iajs-950	133	13	s2	s2	PROPN
iajs-950	133	14	)	)	PUNCT
iajs-950	133	15	is	be	AUX
iajs-950	133	16	ij--perfect	ij--perfect	ADJ
iajs-950	133	17	and	and	CCONJ
iajs-950	133	18	by	by	PROPN
iajs-950	133	19	is	be	AUX
iajs-950	133	20	an	an	DET
iajs-950	133	21	ij--set	ij--set	NOUN
iajs-950	133	22	in	in	ADP
iajs-950	133	23	y	y	PROPN
iajs-950	133	24	,	,	PUNCT
iajs-950	133	25	then	then	ADV
iajs-950	133	26	f	f	PROPN
iajs-950	133	27	-1(b	-1(b	PROPN
iajs-950	133	28	)	)	PUNCT
iajs-950	133	29	is	be	AUX
iajs-950	133	30	an	an	DET
iajs-950	133	31	ij--set	ij--set	NOUN
iajs-950	133	32	in	in	ADP
iajs-950	133	33	x.	x.	NOUN
iajs-950	133	34	proof	proof	NOUN
iajs-950	133	35	:	:	PUNCT
iajs-950	133	36	let	let	VERB
iajs-950	133	37			NOUN
iajs-950	133	38	be	be	AUX
iajs-950	133	39	a	a	DET
iajs-950	133	40	filter	filter	NOUN
iajs-950	133	41	base	base	NOUN
iajs-950	133	42	on	on	ADP
iajs-950	133	43	f	f	PROPN
iajs-950	133	44	-1(b	-1(b	PROPN
iajs-950	133	45	)	)	PUNCT
iajs-950	133	46	,	,	PUNCT
iajs-950	133	47	then	then	ADV
iajs-950	133	48	f(	f(	ADV
iajs-950	133	49	)	)	PUNCT
iajs-950	133	50	is	be	AUX
iajs-950	133	51	a	a	DET
iajs-950	133	52	filter	filter	NOUN
iajs-950	133	53	base	base	NOUN
iajs-950	133	54	on	on	ADP
iajs-950	133	55	b.	b.	PROPN
iajs-950	133	56	since	since	SCONJ
iajs-950	133	57	b	b	PROPN
iajs-950	133	58	is	be	AUX
iajs-950	133	59	an	an	DET
iajs-950	133	60	ij--set	ij--set	NOUN
iajs-950	133	61	in	in	ADP
iajs-950	133	62	y	y	PROPN
iajs-950	133	63	,	,	PUNCT
iajs-950	133	64	bij--codf()	bij--codf()	PROPN
iajs-950	133	65	by	by	ADP
iajs-950	133	66	theorem	theorem	NOUN
iajs-950	133	67	(	(	PUNCT
iajs-950	133	68	2.23	2.23	NUM
iajs-950	133	69	)	)	PUNCT
iajs-950	133	70	.	.	PUNCT
iajs-950	134	1	by	by	ADP
iajs-950	134	2	theorem	theorem	NOUN
iajs-950	134	3	(	(	PUNCT
iajs-950	134	4	2.8	2.8	NUM
iajs-950	134	5	(	(	PUNCT
iajs-950	134	6	a)(c	a)(c	PROPN
iajs-950	134	7	)	)	PUNCT
iajs-950	134	8	)	)	PUNCT
iajs-950	134	9	,	,	PUNCT
iajs-950	134	10	bf(ij--cod())	bf(ij--cod())	PROPN
iajs-950	134	11	,	,	PUNCT
iajs-950	134	12	so	so	SCONJ
iajs-950	134	13	that	that	SCONJ
iajs-950	134	14	f	f	PROPN
iajs-950	134	15	-1(b)ij--cod().	-1(b)ij--cod().	NOUN
iajs-950	134	16	hence	hence	ADV
iajs-950	134	17	by	by	ADP
iajs-950	134	18	theorem	theorem	NOUN
iajs-950	134	19	(	(	PUNCT
iajs-950	134	20	2.23	2.23	NUM
iajs-950	134	21	)	)	PUNCT
iajs-950	134	22	,	,	PUNCT
iajs-950	134	23	f	f	PROPN
iajs-950	134	24	-1(b	-1(b	PROPN
iajs-950	134	25	)	)	PUNCT
iajs-950	134	26	is	be	AUX
iajs-950	134	27	an	an	DET
iajs-950	134	28	ij--set	ij--set	NOUN
iajs-950	134	29	in	in	ADP
iajs-950	134	30	x.	x.	NOUN
iajs-950	134	31	the	the	DET
iajs-950	134	32	converse	converse	NOUN
iajs-950	134	33	of	of	ADP
iajs-950	134	34	the	the	DET
iajs-950	134	35	above	above	ADJ
iajs-950	134	36	theorem	theorem	NOUN
iajs-950	134	37	is	be	AUX
iajs-950	134	38	not	not	PART
iajs-950	134	39	true	true	ADJ
iajs-950	134	40	,	,	PUNCT
iajs-950	134	41	is	be	AUX
iajs-950	134	42	shown	show	VERB
iajs-950	134	43	in	in	ADP
iajs-950	134	44	the	the	DET
iajs-950	134	45	next	next	ADJ
iajs-950	134	46	example	example	NOUN
iajs-950	134	47	.	.	PUNCT
iajs-950	135	1	example	example	NOUN
iajs-950	135	2	:	:	PUNCT
iajs-950	136	1	2.25	2.25	NUM
iajs-950	136	2	.	.	PUNCT
iajs-950	137	1	let	let	VERB
iajs-950	137	2	x	x	X
iajs-950	137	3	=	=	NOUN
iajs-950	137	4	y	y	PROPN
iajs-950	137	5	=	=	PROPN
iajs-950	137	6	ir	ir	PROPN
iajs-950	137	7	,	,	PUNCT
iajs-950	137	8	1	1	PRON
iajs-950	137	9	and	and	CCONJ
iajs-950	137	10	2	2	PROPN
iajs-950	137	11	be	be	AUX
iajs-950	137	12	the	the	DET
iajs-950	137	13	cofinite	cofinite	NOUN
iajs-950	137	14	and	and	CCONJ
iajs-950	137	15	discrete	discrete	ADJ
iajs-950	137	16	topologies	topology	NOUN
iajs-950	137	17	on	on	ADP
iajs-950	137	18	x	x	NOUN
iajs-950	137	19	and	and	CCONJ
iajs-950	137	20	s1	s1	NOUN
iajs-950	137	21	,	,	PUNCT
iajs-950	137	22	s2	s2	NOUN
iajs-950	137	23	respectively	respectively	ADV
iajs-950	137	24	denote	denote	VERB
iajs-950	137	25	the	the	DET
iajs-950	137	26	indiscrete	indiscrete	ADJ
iajs-950	137	27	and	and	CCONJ
iajs-950	137	28	usual	usual	ADJ
iajs-950	137	29	topologies	topology	NOUN
iajs-950	137	30	on	on	ADP
iajs-950	137	31	y.	y.	PROPN
iajs-950	137	32	suppose	suppose	VERB
iajs-950	137	33	f	f	X
iajs-950	137	34	:	:	PUNCT
iajs-950	137	35	(	(	PUNCT
iajs-950	137	36	x	x	X
iajs-950	137	37	,	,	PUNCT
iajs-950	137	38	1	1	ADJ
iajs-950	137	39	,	,	PUNCT
iajs-950	137	40	2)(y	2)(y	NUM
iajs-950	137	41	,	,	PUNCT
iajs-950	137	42	s1	s1	NOUN
iajs-950	137	43	,	,	PUNCT
iajs-950	137	44	s2	s2	PROPN
iajs-950	137	45	)	)	PUNCT
iajs-950	137	46	is	be	AUX
iajs-950	137	47	the	the	DET
iajs-950	137	48	identity	identity	NOUN
iajs-950	137	49	function	function	NOUN
iajs-950	137	50	.	.	PUNCT
iajs-950	138	1	each	each	DET
iajs-950	138	2	subset	subset	NOUN
iajs-950	138	3	of	of	ADP
iajs-950	138	4	either	either	PRON
iajs-950	138	5	of	of	ADP
iajs-950	138	6	(	(	PUNCT
iajs-950	138	7	x	x	NOUN
iajs-950	138	8	,	,	PUNCT
iajs-950	138	9	1	1	ADJ
iajs-950	138	10	,	,	PUNCT
iajs-950	138	11	2	2	PROPN
iajs-950	138	12	)	)	PUNCT
iajs-950	138	13	and	and	CCONJ
iajs-950	138	14	(	(	PUNCT
iajs-950	138	15	y	y	PROPN
iajs-950	138	16	,	,	PUNCT
iajs-950	138	17	s1	s1	NOUN
iajs-950	138	18	,	,	PUNCT
iajs-950	138	19	s2	s2	PROPN
iajs-950	138	20	)	)	PUNCT
iajs-950	138	21	is	be	AUX
iajs-950	138	22	a	a	DET
iajs-950	138	23	12--set	12--set	NOUN
iajs-950	138	24	.	.	PUNCT
iajs-950	139	1	now	now	ADV
iajs-950	139	2	,	,	PUNCT
iajs-950	139	3	any	any	DET
iajs-950	139	4	non	non	ADJ
iajs-950	139	5	-	-	ADJ
iajs-950	139	6	void	void	ADJ
iajs-950	139	7	finite	finite	NOUN
iajs-950	139	8	set	set	VERB
iajs-950	139	9	ax	ax	PROPN
iajs-950	139	10	is	be	AUX
iajs-950	139	11	12--closed	12--close	VERB
iajs-950	139	12	in	in	ADP
iajs-950	139	13	x	x	NOUN
iajs-950	139	14	,	,	PUNCT
iajs-950	139	15	but	but	CCONJ
iajs-950	139	16	f(a	f(a	NOUN
iajs-950	139	17	)	)	PUNCT
iajs-950	139	18	(	(	PUNCT
iajs-950	139	19	i.e.	i.e.	X
iajs-950	139	20	,	,	PUNCT
iajs-950	139	21	a	a	PRON
iajs-950	139	22	)	)	PUNCT
iajs-950	139	23	is	be	AUX
iajs-950	139	24	not	not	PART
iajs-950	139	25	12--closed	12--close	VERB
iajs-950	139	26	in	in	ADP
iajs-950	139	27	y	y	PROPN
iajs-950	139	28	(	(	PUNCT
iajs-950	139	29	in	in	ADP
iajs-950	139	30	fact	fact	NOUN
iajs-950	139	31	,	,	PUNCT
iajs-950	139	32	the	the	DET
iajs-950	139	33	only	only	ADJ
iajs-950	139	34	12--closed	12--close	VERB
iajs-950	139	35	subsets	subset	NOUN
iajs-950	139	36	of	of	ADP
iajs-950	139	37	y	y	PROPN
iajs-950	139	38	are	be	AUX
iajs-950	139	39	y	y	NOUN
iajs-950	139	40	and	and	CCONJ
iajs-950	139	41			NOUN
iajs-950	139	42	)	)	PUNCT
iajs-950	139	43	.	.	PUNCT
iajs-950	140	1	the	the	DET
iajs-950	140	2	theorem	theorem	NOUN
iajs-950	140	3	(	(	PUNCT
iajs-950	140	4	2.24	2.24	NUM
iajs-950	140	5	)	)	PUNCT
iajs-950	140	6	and	and	CCONJ
iajs-950	140	7	the	the	DET
iajs-950	140	8	above	above	ADJ
iajs-950	140	9	example	example	NOUN
iajs-950	140	10	suggest	suggest	VERB
iajs-950	140	11	the	the	DET
iajs-950	140	12	definition	definition	NOUN
iajs-950	140	13	of	of	ADP
iajs-950	140	14	a	a	DET
iajs-950	140	15	strictly	strictly	ADV
iajs-950	140	16	weaker	weak	ADJ
iajs-950	140	17	version	version	NOUN
iajs-950	140	18	of	of	ADP
iajs-950	140	19	ij--perfect	ij--perfect	NOUN
iajs-950	140	20	functions	function	NOUN
iajs-950	140	21	as	as	SCONJ
iajs-950	140	22	given	give	VERB
iajs-950	140	23	below	below	ADV
iajs-950	140	24	.	.	PUNCT
iajs-950	141	1	definition	definition	NOUN
iajs-950	141	2	:	:	PUNCT
iajs-950	141	3	2.26	2.26	NUM
iajs-950	141	4	.	.	PUNCT
iajs-950	142	1	a	a	DET
iajs-950	142	2	function	function	NOUN
iajs-950	142	3	f	f	NOUN
iajs-950	142	4	:	:	PUNCT
iajs-950	142	5	(	(	PUNCT
iajs-950	142	6	x	x	X
iajs-950	142	7	,	,	PUNCT
iajs-950	142	8	1	1	ADJ
iajs-950	142	9	,	,	PUNCT
iajs-950	142	10	2)(y	2)(y	NUM
iajs-950	142	11	,	,	PUNCT
iajs-950	142	12	s1	s1	NOUN
iajs-950	142	13	,	,	PUNCT
iajs-950	142	14	s2	s2	PROPN
iajs-950	142	15	)	)	PUNCT
iajs-950	142	16	is	be	AUX
iajs-950	142	17	said	say	VERB
iajs-950	142	18	to	to	PART
iajs-950	142	19	be	be	AUX
iajs-950	142	20	almost	almost	ADV
iajs-950	142	21	ij--perfect	ij--perfect	ADJ
iajs-950	142	22	if	if	SCONJ
iajs-950	142	23	for	for	ADP
iajs-950	142	24	each	each	DET
iajs-950	142	25	ij--set	ij--set	VERB
iajs-950	142	26	k	k	PROPN
iajs-950	142	27	in	in	ADP
iajs-950	142	28	y	y	PROPN
iajs-950	142	29	,	,	PUNCT
iajs-950	142	30	f	f	PROPN
iajs-950	142	31	-1(k	-1(k	PROPN
iajs-950	142	32	)	)	PUNCT
iajs-950	142	33	is	be	AUX
iajs-950	142	34	an	an	DET
iajs-950	142	35	ij--set	ij--set	NOUN
iajs-950	142	36	in	in	ADP
iajs-950	142	37	x.	x.	NOUN
iajs-950	142	38	by	by	ADP
iajs-950	142	39	analogy	analogy	NOUN
iajs-950	142	40	to	to	AUX
iajs-950	142	41	theorem	theorem	NOUN
iajs-950	142	42	(	(	PUNCT
iajs-950	142	43	2.13	2.13	NUM
iajs-950	142	44	)	)	PUNCT
iajs-950	142	45	,	,	PUNCT
iajs-950	142	46	a	a	DET
iajs-950	142	47	sufficient	sufficient	ADJ
iajs-950	142	48	condition	condition	NOUN
iajs-950	142	49	for	for	ADP
iajs-950	142	50	a	a	DET
iajs-950	142	51	function	function	NOUN
iajs-950	142	52	to	to	PART
iajs-950	142	53	be	be	AUX
iajs-950	142	54	almost	almost	ADV
iajs-950	142	55	ij-perfect	ij-perfect	ADJ
iajs-950	142	56	,	,	PUNCT
iajs-950	142	57	is	be	AUX
iajs-950	142	58	p	p	NOUN
iajs-950	142	59	roved	rove	VERB
iajs-950	142	60	as	as	SCONJ
iajs-950	142	61	follows	follow	VERB
iajs-950	142	62	.	.	PUNCT
iajs-950	143	1	theorem	theorem	VERB
iajs-950	143	2	:	:	PUNCT
iajs-950	143	3	2.27	2.27	NUM
iajs-950	143	4	.	.	PUNCT
iajs-950	144	1	let	let	VERB
iajs-950	144	2	f	f	NOUN
iajs-950	144	3	:	:	PUNCT
iajs-950	144	4	(	(	PUNCT
iajs-950	144	5	x	x	X
iajs-950	144	6	,	,	PUNCT
iajs-950	144	7	1	1	ADJ
iajs-950	144	8	,	,	PUNCT
iajs-950	144	9	2)(y	2)(y	NUM
iajs-950	144	10	,	,	PUNCT
iajs-950	144	11	s1	s1	NOUN
iajs-950	144	12	,	,	PUNCT
iajs-950	144	13	s2	s2	PROPN
iajs-950	144	14	)	)	PUNCT
iajs-950	144	15	be	be	VERB
iajs-950	144	16	any	any	DET
iajs-950	144	17	function	function	NOUN
iajs-950	144	18	such	such	ADJ
iajs-950	144	19	that	that	PRON
iajs-950	144	20	ihjpas	ihjpa	VERB
iajs-950	144	21	ibn	ibn	PROPN
iajs-950	144	22	alhaitham	alhaitham	PROPN
iajs-950	144	23	j.	j.	PROPN
iajs-950	144	24	for	for	ADP
iajs-950	144	25	pure	pure	ADJ
iajs-950	144	26	&	&	CCONJ
iajs-950	144	27	appl	appl	PROPN
iajs-950	144	28	.	.	PUNCT
iajs-950	145	1	sci	sci	PROPN
iajs-950	145	2	.	.	PUNCT
iajs-950	146	1	vol.23	vol.23	PROPN
iajs-950	146	2	(	(	PUNCT
iajs-950	146	3	2	2	NUM
iajs-950	146	4	)	)	PUNCT
iajs-950	146	5	2010	2010	NUM
iajs-950	146	6	(	(	PUNCT
iajs-950	146	7	a	a	NOUN
iajs-950	146	8	)	)	PUNCT
iajs-950	147	1	f	f	PROPN
iajs-950	147	2	-1(y	-1(y	PROPN
iajs-950	147	3	)	)	PUNCT
iajs-950	147	4	is	be	AUX
iajs-950	147	5	ij--rigid	ij--rigid	ADJ
iajs-950	147	6	,	,	PUNCT
iajs-950	147	7	for	for	ADP
iajs-950	147	8	each	each	DET
iajs-950	147	9	yy	yy	PROPN
iajs-950	147	10	,	,	PUNCT
iajs-950	147	11	and	and	CCONJ
iajs-950	147	12	(	(	PUNCT
iajs-950	147	13	b	b	X
iajs-950	147	14	)	)	PUNCT
iajs-950	147	15	f	f	PROPN
iajs-950	147	16	is	be	AUX
iajs-950	147	17	weakly	weakly	ADV
iajs-950	147	18	ij--closed	ij--close	VERB
iajs-950	147	19	.	.	PUNCT
iajs-950	148	1	then	then	ADV
iajs-950	148	2	f	f	PROPN
iajs-950	148	3	is	be	AUX
iajs-950	148	4	almost	almost	ADV
iajs-950	148	5	ij--perfect	ij--perfect	ADJ
iajs-950	148	6	.	.	PUNCT
iajs-950	149	1	proof	proof	NOUN
iajs-950	149	2	:	:	PUNCT
iajs-950	149	3	let	let	VERB
iajs-950	149	4	b	b	X
iajs-950	149	5	be	be	AUX
iajs-950	149	6	an	an	DET
iajs-950	149	7	ij--set	ij--set	NOUN
iajs-950	149	8	in	in	ADP
iajs-950	149	9	y	y	PROPN
iajs-950	149	10	and	and	CCONJ
iajs-950	149	11	let	let	VERB
iajs-950	149	12			NOUN
iajs-950	149	13	b	b	X
iajs-950	149	14	e	e	NOUN
iajs-950	149	15	a	a	DET
iajs-950	149	16	filter	filter	NOUN
iajs-950	149	17	base	base	NOUN
iajs-950	149	18	on	on	ADP
iajs-950	149	19	f	f	PROPN
iajs-950	149	20	-1	-1	PUNCT
iajs-950	149	21	(	(	PUNCT
iajs-950	149	22	b	b	NOUN
iajs-950	149	23	)	)	PUNCT
iajs-950	149	24	.	.	PUNCT
iajs-950	150	1	now	now	ADV
iajs-950	150	2	f(	f(	ADV
iajs-950	150	3	)	)	PUNCT
iajs-950	150	4	is	be	AUX
iajs-950	150	5	a	a	DET
iajs-950	150	6	filter	filter	NOUN
iajs-950	150	7	base	base	NOUN
iajs-950	150	8	on	on	ADP
iajs-950	150	9	b	b	NOUN
iajs-950	150	10	and	and	CCONJ
iajs-950	150	11	so	so	ADV
iajs-950	150	12	by	by	ADP
iajs-950	150	13	theorem	theorem	NOUN
iajs-950	150	14	(	(	PUNCT
iajs-950	150	15	2.23	2.23	NUM
iajs-950	150	16	)	)	PUNCT
iajs-950	150	17	,	,	PUNCT
iajs-950	150	18	(	(	PUNCT
iajs-950	150	19	ij--cod())b.	ij--cod())b.	NOUN
iajs-950	150	20	let	let	VERB
iajs-950	150	21	y[ij--cod()]b	y[ij--cod()]b	NOUN
iajs-950	150	22	.	.	PUNCT
iajs-950	151	1	suppose	suppose	VERB
iajs-950	151	2	that	that	SCONJ
iajs-950	151	3			NOUN
iajs-950	151	4	has	have	VERB
iajs-950	151	5	no	no	DET
iajs-950	151	6	ij--condensation	ij--condensation	NOUN
iajs-950	151	7	point	point	NOUN
iajs-950	151	8	in	in	ADP
iajs-950	151	9	f	f	PROPN
iajs-950	151	10	-1(b	-1(b	PROPN
iajs-950	151	11	)	)	PUNCT
iajs-950	151	12	so	so	SCONJ
iajs-950	151	13	that	that	SCONJ
iajs-950	151	14	(	(	PUNCT
iajs-950	151	15	ij--cod())f	ij--cod())f	NOUN
iajs-950	151	16	-1(y)=.	-1(y)=.	PROPN
iajs-950	151	17	since	since	SCONJ
iajs-950	151	18	f	f	PROPN
iajs-950	151	19	-1(y	-1(y	PROPN
iajs-950	151	20	)	)	PUNCT
iajs-950	151	21	is	be	AUX
iajs-950	151	22	ij-rigid	ij-rigid	ADJ
iajs-950	151	23	,	,	PUNCT
iajs-950	151	24	there	there	PRON
iajs-950	151	25	exists	exist	VERB
iajs-950	151	26	an	an	DET
iajs-950	151	27	f	f	NOUN
iajs-950	151	28	and	and	CCONJ
iajs-950	151	29	a	a	DET
iajs-950	151	30	i	i	NOUN
iajs-950	151	31	-	-	ADJ
iajs-950	151	32	open	open	ADJ
iajs-950	151	33	set	set	NOUN
iajs-950	151	34	u	u	NOUN
iajs-950	151	35	containing	contain	VERB
iajs-950	151	36	f	f	PROPN
iajs-950	151	37	-1(y	-1(y	PROPN
iajs-950	151	38	)	)	PUNCT
iajs-950	151	39	such	such	ADJ
iajs-950	151	40	that	that	SCONJ
iajs-950	151	41	fi	fi	NOUN
iajs-950	151	42	-	-	PUNCT
iajs-950	151	43	cl(u)=.	cl(u)=.	NOUN
iajs-950	151	44	by	by	ADP
iajs-950	151	45	weak	weak	ADJ
iajs-950	151	46	ij--closedness	ij--closedness	NOUN
iajs-950	151	47	of	of	ADP
iajs-950	151	48	f	f	PROPN
iajs-950	151	49	,	,	PUNCT
iajs-950	151	50	there	there	PRON
iajs-950	151	51	is	be	VERB
iajs-950	151	52	a	a	DET
iajs-950	151	53	si	si	ADJ
iajs-950	151	54	-	-	ADJ
iajs-950	151	55	open	open	ADJ
iajs-950	151	56	nbd	nbd	PROPN
iajs-950	151	57	v	v	PROPN
iajs-950	151	58	of	of	ADP
iajs-950	151	59	y	y	PRON
iajs-950	151	60	such	such	ADJ
iajs-950	151	61	that	that	SCONJ
iajs-950	151	62	f	f	PROPN
iajs-950	151	63	-1(sj	-1(sj	PROPN
iajs-950	151	64	-	-	PUNCT
iajs-950	151	65	cl(v))j	cl(v))j	NOUN
iajs-950	151	66	-	-	PUNCT
iajs-950	151	67	cl(u	cl(u	NOUN
iajs-950	151	68	)	)	PUNCT
iajs-950	151	69	which	which	PRON
iajs-950	151	70	implies	imply	VERB
iajs-950	151	71	that	that	SCONJ
iajs-950	151	72	f	f	PROPN
iajs-950	151	73	-1(sj	-1(sj	PROPN
iajs-950	151	74	-	-	PUNCT
iajs-950	151	75	cl(v))f=	cl(v))f=	NOUN
iajs-950	151	76	,	,	PUNCT
iajs-950	151	77	i.e.	i.e.	X
iajs-950	151	78	,	,	PUNCT
iajs-950	151	79	sj	sj	NOUN
iajs-950	151	80	-	-	PUNCT
iajs-950	151	81	cl(v)f(f)=	cl(v)f(f)=	NOUN
iajs-950	151	82	,	,	PUNCT
iajs-950	151	83	which	which	PRON
iajs-950	151	84	is	be	AUX
iajs-950	151	85	a	a	DET
iajs-950	151	86	contradiction	contradiction	NOUN
iajs-950	151	87	.	.	PUNCT
iajs-950	152	1	thus	thus	ADV
iajs-950	152	2	by	by	ADP
iajs-950	152	3	theorem	theorem	NOUN
iajs-950	152	4	(	(	PUNCT
iajs-950	152	5	2.23	2.23	NUM
iajs-950	152	6	)	)	PUNCT
iajs-950	152	7	,	,	PUNCT
iajs-950	152	8	f	f	PROPN
iajs-950	152	9	-1(b	-1(b	PROPN
iajs-950	152	10	)	)	PUNCT
iajs-950	152	11	is	be	AUX
iajs-950	152	12	an	an	DET
iajs-950	152	13	ij--set	ij--set	NOUN
iajs-950	152	14	in	in	ADP
iajs-950	152	15	x	x	PUNCT
iajs-950	152	16	and	and	CCONJ
iajs-950	152	17	hence	hence	ADV
iajs-950	152	18	f	f	PROPN
iajs-950	152	19	is	be	AUX
iajs-950	152	20	almost	almost	ADV
iajs-950	152	21	ij--perfect	ij--perfect	ADJ
iajs-950	152	22	.	.	PUNCT
iajs-950	153	1	we	we	PRON
iajs-950	153	2	now	now	ADV
iajs-950	153	3	give	give	VERB
iajs-950	153	4	some	some	DET
iajs-950	153	5	applications	application	NOUN
iajs-950	153	6	of	of	ADP
iajs-950	153	7	ij--perfect	ij--perfect	NOUN
iajs-950	153	8	functions	function	NOUN
iajs-950	153	9	.	.	PUNCT
iajs-950	154	1	the	the	DET
iajs-950	154	2	following	follow	VERB
iajs-950	154	3	characterization	characterization	NOUN
iajs-950	154	4	theorem	theorem	VERB
iajs-950	154	5	for	for	ADP
iajs-950	154	6	an	an	DET
iajs-950	154	7	ij--continuous	ij--continuous	ADJ
iajs-950	154	8	function	function	NOUN
iajs-950	154	9	is	be	AUX
iajs-950	154	10	recalled	recall	VERB
iajs-950	154	11	to	to	ADP
iajs-950	154	12	this	this	DET
iajs-950	154	13	end	end	NOUN
iajs-950	154	14	.	.	PUNCT
iajs-950	155	1	theorem	theorem	VERB
iajs-950	155	2	:	:	PUNCT
iajs-950	155	3	2.28	2.28	NUM
iajs-950	155	4	.	.	PUNCT
iajs-950	156	1	a	a	DET
iajs-950	156	2	function	function	NOUN
iajs-950	156	3	f	f	NOUN
iajs-950	156	4	:	:	PUNCT
iajs-950	156	5	(	(	PUNCT
iajs-950	156	6	x	x	X
iajs-950	156	7	,	,	PUNCT
iajs-950	156	8	1	1	ADJ
iajs-950	156	9	,	,	PUNCT
iajs-950	156	10	2)(y	2)(y	NUM
iajs-950	156	11	,	,	PUNCT
iajs-950	156	12	s1	s1	NOUN
iajs-950	156	13	,	,	PUNCT
iajs-950	156	14	s2	s2	PROPN
iajs-950	156	15	)	)	PUNCT
iajs-950	156	16	is	be	AUX
iajs-950	156	17	ij--continuous	ij--continuous	ADJ
iajs-950	156	18	if	if	SCONJ
iajs-950	156	19	f(ij--cl	f(ij--cl	NOUN
iajs-950	156	20			X
iajs-950	156	21	(	(	PUNCT
iajs-950	156	22	a))ij-cl	a))ij-cl	NOUN
iajs-950	156	23			X
iajs-950	156	24	f(a	f(a	NOUN
iajs-950	156	25	)	)	PUNCT
iajs-950	156	26	,	,	PUNCT
iajs-950	156	27	for	for	ADP
iajs-950	156	28	each	each	DET
iajs-950	156	29	ax	ax	PROPN
iajs-950	156	30	.	.	PUNCT
iajs-950	157	1	proof	proof	NOUN
iajs-950	157	2	:	:	PUNCT
iajs-950	157	3	(	(	PUNCT
iajs-950	157	4			NOUN
iajs-950	157	5	)	)	PUNCT
iajs-950	157	6	suppose	suppose	VERB
iajs-950	157	7	that	that	SCONJ
iajs-950	157	8	xij--cl	xij--cl	PROPN
iajs-950	157	9			X
iajs-950	157	10	(	(	PUNCT
iajs-950	157	11	a	a	NOUN
iajs-950	157	12	)	)	PUNCT
iajs-950	157	13	and	and	CCONJ
iajs-950	157	14	v	v	NOUN
iajs-950	157	15	is	be	AUX
iajs-950	157	16	si	si	ADJ
iajs-950	157	17	-	-	ADJ
iajs-950	157	18	open	open	ADJ
iajs-950	157	19	nbd	nbd	PROPN
iajs-950	157	20	of	of	ADP
iajs-950	157	21	f(x	f(x	PROPN
iajs-950	157	22	)	)	PUNCT
iajs-950	157	23	.	.	PUNCT
iajs-950	158	1	since	since	SCONJ
iajs-950	158	2	f	f	PROPN
iajs-950	158	3	is	be	AUX
iajs-950	158	4	ij-continuous	ij-continuous	ADJ
iajs-950	158	5	,	,	PUNCT
iajs-950	158	6	there	there	PRON
iajs-950	158	7	exists	exist	VERB
iajs-950	158	8	a	a	DET
iajs-950	158	9	i	i	NOUN
iajs-950	158	10	-	-	ADJ
iajs-950	158	11	open	open	ADJ
iajs-950	158	12	nbd	nbd	PROPN
iajs-950	158	13	u	u	PROPN
iajs-950	158	14	of	of	ADP
iajs-950	158	15	x	x	SYM
iajs-950	158	16	such	such	ADJ
iajs-950	158	17	that	that	SCONJ
iajs-950	158	18	f(j	f(j	PROPN
iajs-950	158	19	-	-	PUNCT
iajs-950	158	20	cl(u))sj	cl(u))sj	NOUN
iajs-950	158	21	-	-	PUNCT
iajs-950	158	22	cl(v	cl(v	NOUN
iajs-950	158	23	)	)	PUNCT
iajs-950	158	24	.	.	PUNCT
iajs-950	159	1	since	since	SCONJ
iajs-950	159	2	jcl(u)a	jcl(u)a	NUM
iajs-950	159	3	,	,	PUNCT
iajs-950	159	4	then	then	ADV
iajs-950	159	5	sj	sj	PROPN
iajs-950	159	6	-	-	NOUN
iajs-950	159	7	cl(v)f(a).	cl(v)f(a).	NOUN
iajs-950	159	8	so	so	ADV
iajs-950	159	9	,	,	PUNCT
iajs-950	159	10	f(x)ij--clf(a	f(x)ij--clf(a	PROPN
iajs-950	159	11	)	)	PUNCT
iajs-950	159	12	.	.	PUNCT
iajs-950	160	1	this	this	PRON
iajs-950	160	2	shows	show	VERB
iajs-950	160	3	that	that	DET
iajs-950	160	4	f(ij-cl(a))ij--clf(a	f(ij-cl(a))ij--clf(a	NOUN
iajs-950	160	5	)	)	PUNCT
iajs-950	160	6	.	.	PUNCT
iajs-950	161	1	(	(	PUNCT
iajs-950	161	2			NOUN
iajs-950	161	3	)	)	PUNCT
iajs-950	161	4	clear	clear	ADJ
iajs-950	161	5	.	.	PUNCT
iajs-950	162	1	theorem	theorem	VERB
iajs-950	162	2	:	:	PUNCT
iajs-950	162	3	2.29	2.29	NUM
iajs-950	162	4	.	.	PUNCT
iajs-950	163	1	let	let	VERB
iajs-950	163	2	f	f	NOUN
iajs-950	163	3	:	:	PUNCT
iajs-950	163	4	(	(	PUNCT
iajs-950	163	5	x	x	X
iajs-950	163	6	,	,	PUNCT
iajs-950	163	7	1	1	ADJ
iajs-950	163	8	,	,	PUNCT
iajs-950	163	9	2)(y	2)(y	NUM
iajs-950	163	10	,	,	PUNCT
iajs-950	163	11	s1	s1	NOUN
iajs-950	163	12	,	,	PUNCT
iajs-950	163	13	r2	r2	PROPN
iajs-950	163	14	)	)	PUNCT
iajs-950	163	15	be	be	AUX
iajs-950	163	16	ij--continuous	ij--continuous	ADJ
iajs-950	163	17	and	and	CCONJ
iajs-950	163	18	ij--perfect	ij--perfect	NOUN
iajs-950	163	19	.	.	PUNCT
iajs-950	164	1	then	then	ADV
iajs-950	164	2	f	f	PROPN
iajs-950	164	3	-1	-1	PUNCT
iajs-950	164	4	preserves	preserve	VERB
iajs-950	164	5	ij--rigidity	ij--rigidity	NOUN
iajs-950	164	6	.	.	PUNCT
iajs-950	165	1	proof	proof	NOUN
iajs-950	165	2	:	:	PUNCT
iajs-950	165	3	let	let	VERB
iajs-950	165	4	b	b	X
iajs-950	165	5	be	be	AUX
iajs-950	165	6	an	an	DET
iajs-950	165	7	ij--rigid	ij--rigid	ADJ
iajs-950	165	8	set	set	VERB
iajs-950	165	9	in	in	ADP
iajs-950	165	10	y	y	PROPN
iajs-950	165	11	and	and	CCONJ
iajs-950	165	12	let	let	VERB
iajs-950	165	13			NOUN
iajs-950	165	14	be	be	AUX
iajs-950	165	15	a	a	DET
iajs-950	165	16	filter	filter	NOUN
iajs-950	165	17	base	base	NOUN
iajs-950	165	18	on	on	ADP
iajs-950	165	19	x	x	SYM
iajs-950	165	20	such	such	ADJ
iajs-950	165	21	that	that	SCONJ
iajs-950	165	22	f	f	PROPN
iajs-950	165	23	-1(b)(ij-cod())=.	-1(b)(ij-cod())=.	NOUN
iajs-950	165	24	since	since	SCONJ
iajs-950	165	25	f	f	PROPN
iajs-950	165	26	is	be	AUX
iajs-950	165	27	ij--perfect	ij--perfect	ADJ
iajs-950	165	28	and	and	CCONJ
iajs-950	165	29	bf(ij--cod())=	bf(ij--cod())=	NOUN
iajs-950	165	30	by	by	ADP
iajs-950	165	31	theorem	theorem	NOUN
iajs-950	165	32	(	(	PUNCT
iajs-950	165	33	2.8	2.8	NUM
iajs-950	165	34	(	(	PUNCT
iajs-950	165	35	a)(c	a)(c	PROPN
iajs-950	165	36	)	)	PUNCT
iajs-950	165	37	)	)	PUNCT
iajs-950	165	38	we	we	PRON
iajs-950	165	39	get	get	VERB
iajs-950	165	40	b(ij--cod	b(ij--cod	NOUN
iajs-950	165	41	f())=.	f())=.	NOUN
iajs-950	165	42	now	now	ADV
iajs-950	165	43	b	b	NOUN
iajs-950	165	44	being	be	AUX
iajs-950	165	45	an	an	DET
iajs-950	165	46	ij--rigid	ij--rigid	ADJ
iajs-950	165	47	set	set	VERB
iajs-950	165	48	in	in	ADP
iajs-950	165	49	y	y	PROPN
iajs-950	165	50	,	,	PUNCT
iajs-950	165	51	there	there	PRON
iajs-950	165	52	exists	exist	VERB
iajs-950	165	53	an	an	DET
iajs-950	165	54	f	f	NOUN
iajs-950	165	55	such	such	ADJ
iajs-950	165	56	that	that	SCONJ
iajs-950	165	57	bij-cl	bij-cl	NOUN
iajs-950	165	58			X
iajs-950	165	59	f(f)=.	f(f)=.	PROPN
iajs-950	165	60	since	since	SCONJ
iajs-950	165	61	f	f	PROPN
iajs-950	165	62	is	be	AUX
iajs-950	165	63	ij--continuous	ij--continuous	ADJ
iajs-950	165	64	,	,	PUNCT
iajs-950	165	65	by	by	ADP
iajs-950	165	66	theorem	theorem	NOUN
iajs-950	165	67	(	(	PUNCT
iajs-950	165	68	2.28	2.28	NUM
iajs-950	165	69	)	)	PUNCT
iajs-950	165	70	it	it	PRON
iajs-950	165	71	follows	follow	VERB
iajs-950	165	72	that	that	SCONJ
iajs-950	165	73	bf(ij--cl	bf(ij--cl	NOUN
iajs-950	165	74			X
iajs-950	165	75	(	(	PUNCT
iajs-950	165	76	f))=.	f))=.	PROPN
iajs-950	165	77	thus	thus	ADV
iajs-950	165	78	f	f	PROPN
iajs-950	165	79	-1(b)(ij--cl(f))=.	-1(b)(ij--cl(f))=.	PROPN
iajs-950	165	80	this	this	PRON
iajs-950	165	81	proves	prove	VERB
iajs-950	165	82	that	that	SCONJ
iajs-950	165	83	f	f	PROPN
iajs-950	165	84	-1(b	-1(b	PROPN
iajs-950	165	85	)	)	PUNCT
iajs-950	165	86	is	be	AUX
iajs-950	165	87	ij--rigid	ij--rigid	PROPN
iajs-950	165	88	.	.	PUNCT
iajs-950	166	1	references	reference	NOUN
iajs-950	166	2	1	1	NUM
iajs-950	166	3	.	.	PUNCT
iajs-950	166	4	kelly	kelly	PROPN
iajs-950	166	5	j.	j.	PROPN
iajs-950	166	6	c.	c.	PROPN
iajs-950	166	7	(	(	PUNCT
iajs-950	166	8	1963	1963	NUM
iajs-950	166	9	)	)	PUNCT
iajs-950	166	10	,	,	PUNCT
iajs-950	166	11	bitopological	bitopological	ADJ
iajs-950	166	12	spaces	space	NOUN
iajs-950	166	13	,	,	PUNCT
iajs-950	166	14	proc	proc	NOUN
iajs-950	166	15	.	.	PUNCT
iajs-950	167	1	london	london	PROPN
iajs-950	167	2	math	math	PROPN
iajs-950	167	3	.	.	PUNCT
iajs-950	168	1	soc	soc	PROPN
iajs-950	168	2	.	.	PUNCT
iajs-950	168	3	,	,	PUNCT
iajs-950	168	4	13,71	13,71	NUM
iajs-950	168	5	-	-	SYM
iajs-950	168	6	89	89	NUM
iajs-950	168	7	.	.	NOUN
iajs-950	169	1	2	2	X
iajs-950	169	2	.	.	X
iajs-950	169	3	englking	englke	VERB
iajs-950	169	4	r.	r.	PROPN
iajs-950	169	5	,	,	PUNCT
iajs-950	169	6	(	(	PUNCT
iajs-950	169	7	1989	1989	NUM
iajs-950	169	8	)	)	PUNCT
iajs-950	169	9	,	,	PUNCT
iajs-950	169	10	outline	outline	NOUN
iajs-950	169	11	of	of	ADP
iajs-950	169	12	general	general	ADJ
iajs-950	169	13	topology	topology	NOUN
iajs-950	169	14	,	,	PUNCT
iajs-950	169	15	amsterdam	amsterdam	PROPN
iajs-950	169	16	.	.	PUNCT
iajs-950	170	1	3	3	X
iajs-950	170	2	.	.	X
iajs-950	170	3	bourbaki	bourbaki	PROPN
iajs-950	170	4	n.	n.	PROPN
iajs-950	170	5	,	,	PUNCT
iajs-950	170	6	1975	1975	NUM
iajs-950	170	7	,	,	PUNCT
iajs-950	170	8	general	general	ADJ
iajs-950	170	9	topology	topology	NOUN
iajs-950	170	10	,	,	PUNCT
iajs-950	170	11	part	part	NOUN
iajs-950	170	12	i	i	PROPN
iajs-950	170	13	,	,	PUNCT
iajs-950	170	14	addison	addison	PROPN
iajs-950	170	15	-	-	PUNCT
iajs-950	170	16	wesly	wesly	ADV
iajs-950	170	17	,	,	PUNCT
iajs-950	170	18	reding	reding	NOUN
iajs-950	170	19	,	,	PUNCT
iajs-950	170	20	mass	mass	PROPN
iajs-950	170	21	.	.	PROPN
iajs-950	171	1	4	4	X
iajs-950	171	2	.	.	X
iajs-950	171	3	hdeib	hdeib	PROPN
iajs-950	171	4	h.	h.	PROPN
iajs-950	171	5	z.	z.	PROPN
iajs-950	171	6	,	,	PUNCT
iajs-950	171	7	(	(	PUNCT
iajs-950	171	8	1982	1982	NUM
iajs-950	171	9	)	)	PUNCT
iajs-950	171	10	,	,	PUNCT
iajs-950	171	11	ω	ω	X
iajs-950	171	12	-	-	PUNCT
iajs-950	171	13	closed	close	VERB
iajs-950	171	14	mappings	mapping	NOUN
iajs-950	171	15	,	,	PUNCT
iajs-950	171	16	revista	revista	ADJ
iajs-950	171	17	colombian	colombian	ADJ
iajs-950	171	18	a	a	DET
iajs-950	171	19	de	de	X
iajs-950	171	20	mathematics	mathematic	NOUN
iajs-950	171	21	,	,	PUNCT
iajs-950	171	22	xvi	xvi	NOUN
iajs-950	171	23	,	,	PUNCT
iajs-950	171	24	6578	6578	NUM
iajs-950	171	25	.	.	PUNCT
iajs-950	172	1	ihjpas	ihjpas	PROPN
iajs-950	172	2	2010	2010	NUM
iajs-950	172	3	)	)	PUNCT
iajs-950	173	1	2	2	NUM
iajs-950	173	2	(	(	PUNCT
iajs-950	173	3	32المجلد	32المجلد	NUM
iajs-950	173	4	مجلة	مجلة	ADJ
iajs-950	173	5	ابن	ابن	PROPN
iajs-950	173	6	الھیثم	الھیثم	PROPN
iajs-950	173	7	للعلوم	للعلوم	NOUN
iajs-950	173	8	الصرفة	الصرفة	PROPN
iajs-950	173	9	والتطبیقیة	والتطبیقیة	PROPN
iajs-950	173	10	ثنائیةالتبولوجیة	ثنائیةالتبولوجیة	NOUN
iajs-950	173	11	الفضاءات	الفضاءات	PROPN
iajs-950	173	12	البین	البین	PROPN
iajs-950	173	13	ij--الدوال	ij--الدوال	PROPN
iajs-950	173	14	التامة	التامة	PROPN
iajs-950	173	15	من	من	PRON
iajs-950	173	16	النمط	النمط	NOUN
iajs-950	173	17	و	و	PRON
iajs-950	173	18	نیران	نیران	VERB
iajs-950	173	19	صباح	صباح	ADJ
iajs-950	173	20	جاسم	جاسم	NOUN
iajs-950	173	21	یوسف	یوسف	PROPN
iajs-950	173	22	یعكوب	یعكوب	PROPN
iajs-950	173	23	یوسف	یوسف	PROPN
iajs-950	173	24	ابن	ابن	PROPN
iajs-950	173	25	الھیثم	الھیثم	PROPN
iajs-950	173	26	،	،	PROPN
iajs-950	173	27	جامعة	جامعة	PROPN
iajs-950	173	28	بغداد	بغداد	PROPN
iajs-950	173	29	-قسم	-قسم	PUNCT
iajs-950	173	30	الریاضیات	الریاضیات	PROPN
iajs-950	173	31	،	،	PROPN
iajs-950	173	32	كلیة	كلیة	PROPN
iajs-950	173	33	التربیة	التربیة	NOUN
iajs-950	173	34	الصةالخ	الصةالخ	PROPN
iajs-950	173	35	التـي	التـي	PROPN
iajs-950	173	36	هیـة	هیـة	PROPN
iajs-950	173	37	االقتـراب	االقتـراب	PROPN
iajs-950	173	38	لمجموعـة	لمجموعـة	PROPN
iajs-950	173	39	جزئیـة	جزئیـة	NOUN
iajs-950	173	40	في	في	ADP
iajs-950	173	41	هذا	هذا	NOUN
iajs-950	173	42	البحث	البحث	PROPN
iajs-950	173	43	نحن	نحن	PROPN
iajs-950	173	44	قدمنا	قدمنا	NOUN
iajs-950	173	45	العدید	العدید	NOUN
iajs-950	173	46	من	من	DET
iajs-950	173	47	المفاهیم	المفاهیم	NOUN
iajs-950	173	48	في	في	ADP
iajs-950	173	49	الفضاءات	الفضاءات	PROPN
iajs-950	173	50	التبولوجیة	التبولوجیة	PROPN
iajs-950	173	51	الثنائیـة	الثنائیـة	VERB
iajs-950	173	52	ة	ة	ADP
iajs-950	173	53	مـن	مـن	PROPN
iajs-950	173	54	الـنمط	الـنمط	PROPN
iajs-950	173	55	،	،	NOUN
iajs-950	173	56	-ij-االتجاه	-ij-االتجاه	PROPN
iajs-950	173	57	المباشر	المباشر	PROPN
iajs-950	173	58	لمجموعة	لمجموعة	PROPN
iajs-950	174	1	من	من	PROPN
iajs-950	174	2	الـنمط	الـنمط	PROPN
iajs-950	174	3	،	،	PROPN
iajs-950	174	4	-ij-من	-ij-من	PROPN
iajs-950	174	5	النمط	النمط	NOUN
iajs-950	174	6	-ijصـالبة	-ijصـالبة	NOUN
iajs-950	174	7	مجموعـة	مجموعـة	NOUN
iajs-950	174	8	مـن	مـن	NOUN
iajs-950	174	9	الـنمط	الـنمط	PROPN
iajs-950	174	10	،	،	PROPN
iajs-950	174	11	,	,	PUNCT
iajs-950	174	12	ij-الـدوال	ij-الـدوال	ADJ
iajs-950	174	13	المغلقـ	المغلقـ	NOUN
iajs-950	174	14	-مــن	-مــن	VERB
iajs-950	174	15	الـنمط	الـنمط	PROPN
iajs-950	174	16	دوال	دوال	ADJ
iajs-950	174	17	المسـتمرة	المسـتمرة	NOUN
iajs-950	174	18	،	،	X
iajs-950	174	19	الـij--	الـij--	PROPN
iajs-950	174	20	،	،	PROPN
iajs-950	174	21	ـنمط	ـنمط	PROPN
iajs-950	174	22	بـین	بـین	ADJ
iajs-950	174	23	الفضــاءات	الفضــاءات	NOUN
iajs-950	175	1	-ij-والمفهــوم	-ij-والمفهــوم	PUNCT
iajs-950	175	2	الرئیسـي	الرئیسـي	NOUN
iajs-950	175	3	فــي	فــي	ADJ
iajs-950	175	4	هـذا	هـذا	NOUN
iajs-950	175	5	البجـث	البجـث	VERB
iajs-950	175	6	هــو	هــو	ADJ
iajs-950	175	7	الـدوال	الـدوال	PROPN
iajs-950	176	1	التامــة	التامــة	PROPN
iajs-950	176	2	مـن	مـن	PROPN
iajs-950	176	3	الـ	الـ	PROPN
iajs-950	176	4	.هیم	.هیم	PROPN
iajs-950	176	5	درستاكذلك	درستاكذلك	PROPN
iajs-950	176	6	العدید	العدید	VERB
iajs-950	177	1	من	من	INTJ
iajs-950	177	2	المبرهنات	المبرهنات	PROPN
iajs-950	178	1	و	و	PRON
iajs-950	178	2	الممیزات	الممیزات	ADJ
iajs-950	178	3	المتعلقة	المتعلقة	PROPN
iajs-950	178	4	بهذه	بهذه	VERB
iajs-950	178	5	المف	المف	PROPN
iajs-950	178	6	.	.	PUNCT
iajs-950	179	1	التبولوجیة	التبولوجیة	PROPN
iajs-950	179	2	الثنائیة	الثنائیة	PROPN
iajs-950	179	3	ihjpas	ihjpa	VERB