id	sid	tid	token	lemma	pos
iajs-3938	1	1	418	418	NUM
iajs-3938	1	2	©	©	ADP
iajs-3938	1	3	2025	2025	NUM
iajs-3938	1	4	the	the	DET
iajs-3938	1	5	author(s	author(s	NOUN
iajs-3938	1	6	)	)	PUNCT
iajs-3938	1	7	.	.	PUNCT
iajs-3938	2	1	published	publish	VERB
iajs-3938	2	2	by	by	ADP
iajs-3938	2	3	college	college	NOUN
iajs-3938	2	4	of	of	ADP
iajs-3938	2	5	education	education	NOUN
iajs-3938	2	6	for	for	ADP
iajs-3938	2	7	pure	pure	ADJ
iajs-3938	2	8	science	science	NOUN
iajs-3938	2	9	(	(	PUNCT
iajs-3938	2	10	ibn	ibn	PROPN
iajs-3938	2	11	al	al	PROPN
iajs-3938	2	12	-	-	PUNCT
iajs-3938	2	13	haitham	haitham	PROPN
iajs-3938	2	14	)	)	PUNCT
iajs-3938	2	15	,	,	PUNCT
iajs-3938	2	16	university	university	NOUN
iajs-3938	2	17	of	of	ADP
iajs-3938	2	18	baghdad	baghdad	PROPN
iajs-3938	2	19	.	.	PUNCT
iajs-3938	3	1	this	this	PRON
iajs-3938	3	2	is	be	AUX
iajs-3938	3	3	an	an	DET
iajs-3938	3	4	open	open	ADJ
iajs-3938	3	5	-	-	PUNCT
iajs-3938	3	6	access	access	NOUN
iajs-3938	3	7	article	article	NOUN
iajs-3938	3	8	distributed	distribute	VERB
iajs-3938	3	9	under	under	ADP
iajs-3938	3	10	the	the	DET
iajs-3938	3	11	terms	term	NOUN
iajs-3938	3	12	of	of	ADP
iajs-3938	3	13	the	the	DET
iajs-3938	3	14	creative	creative	ADJ
iajs-3938	3	15	commons	common	NOUN
iajs-3938	3	16	attribution	attribution	NOUN
iajs-3938	3	17	4.0	4.0	NUM
iajs-3938	3	18	international	international	ADJ
iajs-3938	3	19	license	license	NOUN
iajs-3938	3	20	on	on	ADP
iajs-3938	3	21	𝐆𝛂	𝐆𝛂	PROPN
iajs-3938	3	22	∗	∗	NOUN
iajs-3938	3	23	-open	-open	PROPN
iajs-3938	3	24	sets	set	NOUN
iajs-3938	3	25	tabarak	tabarak	NOUN
iajs-3938	3	26	.	.	PUNCT
iajs-3938	4	1	a.	a.	PROPN
iajs-3938	4	2	ali	ali	PROPN
iajs-3938	4	3	1	1	NUM
iajs-3938	4	4	*	*	PROPN
iajs-3938	4	5	,	,	PUNCT
iajs-3938	4	6	r.	r.	PROPN
iajs-3938	4	7	b.	b.	PROPN
iajs-3938	4	8	esmaeel	esmaeel	PROPN
iajs-3938	4	9	2	2	NUM
iajs-3938	4	10	and	and	CCONJ
iajs-3938	4	11	abdelaziz	abdelaziz	PROPN
iajs-3938	4	12	e.	e.	PROPN
iajs-3938	4	13	radwan	radwan	PROPN
iajs-3938	4	14	3	3	NUM
iajs-3938	4	15	1,2department	1,2department	NUM
iajs-3938	4	16	of	of	ADP
iajs-3938	4	17	mathematics	mathematic	NOUN
iajs-3938	4	18	,	,	PUNCT
iajs-3938	4	19	college	college	NOUN
iajs-3938	4	20	of	of	ADP
iajs-3938	4	21	education	education	NOUN
iajs-3938	4	22	for	for	ADP
iajs-3938	4	23	pure	pure	ADJ
iajs-3938	4	24	science	science	NOUN
iajs-3938	4	25	(	(	PUNCT
iajs-3938	4	26	ibn	ibn	PROPN
iajs-3938	4	27	al	al	PROPN
iajs-3938	4	28	haitham	haitham	PROPN
iajs-3938	4	29	(	(	PUNCT
iajs-3938	4	30	,	,	PUNCT
iajs-3938	4	31	university	university	NOUN
iajs-3938	4	32	of	of	ADP
iajs-3938	4	33	baghdad	baghdad	PROPN
iajs-3938	4	34	,	,	PUNCT
iajs-3938	4	35	baghdad	baghdad	PROPN
iajs-3938	4	36	,	,	PUNCT
iajs-3938	4	37	iraq	iraq	PROPN
iajs-3938	4	38	.	.	PUNCT
iajs-3938	5	1	3department	3department	NUM
iajs-3938	5	2	of	of	ADP
iajs-3938	5	3	mathematics	mathematic	NOUN
iajs-3938	5	4	,	,	PUNCT
iajs-3938	5	5	faculty	faculty	NOUN
iajs-3938	5	6	of	of	ADP
iajs-3938	5	7	science	science	NOUN
iajs-3938	5	8	ain	ain	PROPN
iajs-3938	5	9	shams	shams	PROPN
iajs-3938	5	10	university	university	PROPN
iajs-3938	5	11	,	,	PUNCT
iajs-3938	5	12	cairo	cairo	PROPN
iajs-3938	5	13	,	,	PUNCT
iajs-3938	5	14	egypt	egypt	PROPN
iajs-3938	5	15	.	.	PUNCT
iajs-3938	6	1	*	*	PUNCT
iajs-3938	6	2	corresponding	correspond	VERB
iajs-3938	6	3	author	author	NOUN
iajs-3938	6	4	.	.	PUNCT
iajs-3938	7	1	received	receive	VERB
iajs-3938	7	2	:	:	PUNCT
iajs-3938	7	3	15	15	NUM
iajs-3938	7	4	april	april	PROPN
iajs-3938	7	5	2024	2024	NUM
iajs-3938	7	6	accepted	accept	VERB
iajs-3938	7	7	:	:	PUNCT
iajs-3938	7	8	10	10	NUM
iajs-3938	7	9	october	october	NOUN
iajs-3938	7	10	2024	2024	NUM
iajs-3938	7	11	published	publish	VERB
iajs-3938	7	12	:	:	PUNCT
iajs-3938	7	13	20	20	NUM
iajs-3938	7	14	april	april	PROPN
iajs-3938	7	15	2025	2025	NUM
iajs-3938	7	16	doi.org/10.30526/38.2.3938	doi.org/10.30526/38.2.3938	ADV
iajs-3938	7	17	abstract	abstract	ADJ
iajs-3938	7	18	this	this	DET
iajs-3938	7	19	study	study	NOUN
iajs-3938	7	20	investigates	investigate	VERB
iajs-3938	7	21	new	new	ADJ
iajs-3938	7	22	concepts	concept	NOUN
iajs-3938	7	23	in	in	ADP
iajs-3938	7	24	grill	grill	ADJ
iajs-3938	7	25	topological	topological	ADJ
iajs-3938	7	26	spaces	space	NOUN
iajs-3938	7	27	by	by	ADP
iajs-3938	7	28	employing	employ	VERB
iajs-3938	7	29	specified	specify	VERB
iajs-3938	7	30	sets	set	NOUN
iajs-3938	7	31	in	in	ADP
iajs-3938	7	32	which	which	PRON
iajs-3938	7	33	the	the	DET
iajs-3938	7	34	α	α	NOUN
iajs-3938	7	35	-	-	ADJ
iajs-3938	7	36	open	open	ADJ
iajs-3938	7	37	sets	set	NOUN
iajs-3938	7	38	are	be	AUX
iajs-3938	7	39	defined	define	VERB
iajs-3938	7	40	.	.	PUNCT
iajs-3938	8	1	many	many	ADJ
iajs-3938	8	2	scholars	scholar	NOUN
iajs-3938	8	3	,	,	PUNCT
iajs-3938	8	4	such	such	ADJ
iajs-3938	8	5	as	as	ADP
iajs-3938	8	6	choquet	choquet	NOUN
iajs-3938	8	7	,	,	PUNCT
iajs-3938	8	8	who	who	PRON
iajs-3938	8	9	is	be	AUX
iajs-3938	8	10	considered	consider	VERB
iajs-3938	8	11	the	the	DET
iajs-3938	8	12	first	first	ADJ
iajs-3938	8	13	to	to	PART
iajs-3938	8	14	lay	lay	VERB
iajs-3938	8	15	the	the	DET
iajs-3938	8	16	foundation	foundation	NOUN
iajs-3938	8	17	stone	stone	NOUN
iajs-3938	8	18	for	for	ADP
iajs-3938	8	19	the	the	DET
iajs-3938	8	20	concept	concept	NOUN
iajs-3938	8	21	of	of	ADP
iajs-3938	8	22	a	a	DET
iajs-3938	8	23	grill	grill	NOUN
iajs-3938	8	24	and	and	CCONJ
iajs-3938	8	25	formulate	formulate	VERB
iajs-3938	8	26	its	its	PRON
iajs-3938	8	27	definition	definition	NOUN
iajs-3938	8	28	,	,	PUNCT
iajs-3938	8	29	were	be	AUX
iajs-3938	8	30	interested	interested	ADJ
iajs-3938	8	31	in	in	ADP
iajs-3938	8	32	studying	study	VERB
iajs-3938	8	33	it	it	PRON
iajs-3938	8	34	.	.	PUNCT
iajs-3938	9	1	after	after	ADP
iajs-3938	9	2	that	that	PRON
iajs-3938	9	3	,	,	PUNCT
iajs-3938	9	4	many	many	ADJ
iajs-3938	9	5	attempts	attempt	NOUN
iajs-3938	9	6	have	have	AUX
iajs-3938	9	7	been	be	AUX
iajs-3938	9	8	made	make	VERB
iajs-3938	9	9	to	to	PART
iajs-3938	9	10	study	study	VERB
iajs-3938	9	11	the	the	DET
iajs-3938	9	12	properties	property	NOUN
iajs-3938	9	13	associated	associate	VERB
iajs-3938	9	14	with	with	ADP
iajs-3938	9	15	this	this	DET
iajs-3938	9	16	concept	concept	NOUN
iajs-3938	9	17	and	and	CCONJ
iajs-3938	9	18	to	to	PART
iajs-3938	9	19	understand	understand	VERB
iajs-3938	9	20	the	the	DET
iajs-3938	9	21	relationships	relationship	NOUN
iajs-3938	9	22	among	among	ADP
iajs-3938	9	23	these	these	DET
iajs-3938	9	24	properties	property	NOUN
iajs-3938	9	25	.	.	PUNCT
iajs-3938	10	1	there	there	PRON
iajs-3938	10	2	are	be	VERB
iajs-3938	10	3	several	several	ADJ
iajs-3938	10	4	types	type	NOUN
iajs-3938	10	5	of	of	ADP
iajs-3938	10	6	grill	grill	ADJ
iajs-3938	10	7	topological	topological	ADJ
iajs-3938	10	8	spaces	space	NOUN
iajs-3938	10	9	,	,	PUNCT
iajs-3938	10	10	including	include	VERB
iajs-3938	10	11	discrete	discrete	ADJ
iajs-3938	10	12	and	and	CCONJ
iajs-3938	10	13	cofinite	cofinite	NOUN
iajs-3938	10	14	topologies	topology	NOUN
iajs-3938	10	15	.	.	PUNCT
iajs-3938	11	1	properties	property	NOUN
iajs-3938	11	2	of	of	ADP
iajs-3938	11	3	this	this	DET
iajs-3938	11	4	set	set	NOUN
iajs-3938	11	5	and	and	CCONJ
iajs-3938	11	6	certain	certain	ADJ
iajs-3938	11	7	relationships	relationship	NOUN
iajs-3938	11	8	are	be	AUX
iajs-3938	11	9	studied	study	VERB
iajs-3938	11	10	,	,	PUNCT
iajs-3938	11	11	as	as	ADV
iajs-3938	11	12	well	well	ADV
iajs-3938	11	13	as	as	ADP
iajs-3938	11	14	examining	examine	VERB
iajs-3938	11	15	a	a	DET
iajs-3938	11	16	group	group	NOUN
iajs-3938	11	17	of	of	ADP
iajs-3938	11	18	functions	function	NOUN
iajs-3938	11	19	,	,	PUNCT
iajs-3938	11	20	like	like	ADP
iajs-3938	11	21	open	open	ADJ
iajs-3938	11	22	,	,	PUNCT
iajs-3938	11	23	closed	closed	ADJ
iajs-3938	11	24	,	,	PUNCT
iajs-3938	11	25	and	and	CCONJ
iajs-3938	11	26	continuous	continuous	ADJ
iajs-3938	11	27	functions	function	NOUN
iajs-3938	11	28	,	,	PUNCT
iajs-3938	11	29	determining	determine	VERB
iajs-3938	11	30	their	their	PRON
iajs-3938	11	31	relation	relation	NOUN
iajs-3938	11	32	with	with	ADP
iajs-3938	11	33	each	each	DET
iajs-3938	11	34	other	other	ADJ
iajs-3938	11	35	and	and	CCONJ
iajs-3938	11	36	giving	give	VERB
iajs-3938	11	37	examples	example	NOUN
iajs-3938	11	38	and	and	CCONJ
iajs-3938	11	39	properties	property	NOUN
iajs-3938	11	40	associated	associate	VERB
iajs-3938	11	41	with	with	ADP
iajs-3938	11	42	this	this	DET
iajs-3938	11	43	set	set	NOUN
iajs-3938	11	44	.	.	PUNCT
iajs-3938	12	1	this	this	PRON
iajs-3938	12	2	shall	shall	AUX
iajs-3938	12	3	serve	serve	VERB
iajs-3938	12	4	as	as	ADP
iajs-3938	12	5	the	the	DET
iajs-3938	12	6	beginning	beginning	NOUN
iajs-3938	12	7	of	of	ADP
iajs-3938	12	8	examining	examine	VERB
iajs-3938	12	9	numerous	numerous	ADJ
iajs-3938	12	10	topological	topological	ADJ
iajs-3938	12	11	properties	property	NOUN
iajs-3938	12	12	with	with	ADP
iajs-3938	12	13	this	this	DET
iajs-3938	12	14	set	set	NOUN
iajs-3938	12	15	.	.	PUNCT
iajs-3938	13	1	keywords	keyword	NOUN
iajs-3938	13	2	:	:	PUNCT
iajs-3938	13	3	grill	grill	NOUN
iajs-3938	13	4	,	,	PUNCT
iajs-3938	13	5	α	α	NOUN
iajs-3938	13	6	-o	-o	NOUN
iajs-3938	13	7	sets	set	VERB
iajs-3938	13	8	,	,	PUNCT
iajs-3938	13	9	gα	gα	ADP
iajs-3938	13	10	∗	∗	NOUN
iajs-3938	13	11	-o	-o	INTJ
iajs-3938	13	12	set	set	NOUN
iajs-3938	13	13	,	,	PUNCT
iajs-3938	13	14	α	α	X
iajs-3938	13	15	-	-	PUNCT
iajs-3938	13	16	c	c	NOUN
iajs-3938	13	17	sets	set	NOUN
iajs-3938	13	18	,	,	PUNCT
iajs-3938	13	19	gα	gα	ADP
iajs-3938	13	20	∗	∗	NOUN
iajs-3938	13	21	-of	-of	NOUN
iajs-3938	13	22	,	,	PUNCT
iajs-3938	13	23	gα	gα	ADP
iajs-3938	13	24	∗	∗	NOUN
iajs-3938	13	25	-cf	-cf	NOUN
iajs-3938	13	26	.	.	PUNCT
iajs-3938	14	1	1	1	X
iajs-3938	14	2	.	.	X
iajs-3938	14	3	introduction	introduction	NOUN
iajs-3938	14	4	choquet	choquet	NOUN
iajs-3938	14	5	first	first	ADV
iajs-3938	14	6	proposed	propose	VERB
iajs-3938	14	7	the	the	DET
iajs-3938	14	8	idea	idea	NOUN
iajs-3938	14	9	of	of	ADP
iajs-3938	14	10	a	a	DET
iajs-3938	14	11	grill	grill	NOUN
iajs-3938	14	12	on	on	ADP
iajs-3938	14	13	a	a	DET
iajs-3938	14	14	topological	topological	ADJ
iajs-3938	14	15	space	space	NOUN
iajs-3938	14	16	in	in	ADP
iajs-3938	14	17	1947(1	1947(1	NUM
iajs-3938	14	18	-	-	SYM
iajs-3938	14	19	4	4	NUM
iajs-3938	14	20	)	)	PUNCT
iajs-3938	14	21	.	.	PUNCT
iajs-3938	15	1	a	a	DET
iajs-3938	15	2	grill	grill	NOUN
iajs-3938	15	3	is	be	AUX
iajs-3938	15	4	a	a	DET
iajs-3938	15	5	collection	collection	NOUN
iajs-3938	15	6	of	of	ADP
iajs-3938	15	7	non	non	ADJ
iajs-3938	15	8	-	-	ADJ
iajs-3938	15	9	empty	empty	ADJ
iajs-3938	15	10	subsets	subset	NOUN
iajs-3938	15	11	of	of	ADP
iajs-3938	15	12	(	(	PUNCT
iajs-3938	15	13	℘	℘	PROPN
iajs-3938	15	14	,	,	PUNCT
iajs-3938	15	15	τ	τ	NOUN
iajs-3938	15	16	)	)	PUNCT
iajs-3938	15	17	.	.	PUNCT
iajs-3938	16	1	if	if	SCONJ
iajs-3938	16	2	i.	i.	PROPN
iajs-3938	16	3	μ	μ	PROPN
iajs-3938	16	4	∈	∈	PROPN
iajs-3938	16	5	₢	₢	PROPN
iajs-3938	16	6	and	and	CCONJ
iajs-3938	16	7	μ	μ	PROPN
iajs-3938	16	8	⊆	⊆	NUM
iajs-3938	16	9	υ	υ	PROPN
iajs-3938	16	10	implies	imply	VERB
iajs-3938	16	11	υ	υ	PRON
iajs-3938	16	12	∈₢	∈₢	NOUN
iajs-3938	16	13	,	,	PUNCT
iajs-3938	16	14	ii	ii	PROPN
iajs-3938	16	15	.	.	PUNCT
iajs-3938	16	16	μ	μ	PROPN
iajs-3938	16	17	,	,	PUNCT
iajs-3938	16	18	υ	υ	NOUN
iajs-3938	16	19	⊆	⊆	NUM
iajs-3938	16	20	℘	℘	PROPN
iajs-3938	16	21	and	and	CCONJ
iajs-3938	16	22	μ	μ	NOUN
iajs-3938	16	23	∪	∪	VERB
iajs-3938	16	24	υ	υ	PROPN
iajs-3938	16	25	∈	∈	PROPN
iajs-3938	16	26	₢	₢	ADP
iajs-3938	16	27	,	,	PUNCT
iajs-3938	16	28	then	then	ADV
iajs-3938	16	29	μ	μ	PROPN
iajs-3938	16	30	∈	∈	PROPN
iajs-3938	16	31	₢	₢	ADP
iajs-3938	16	32	or	or	CCONJ
iajs-3938	16	33	υ	υ	PRON
iajs-3938	16	34	∈	∈	PROPN
iajs-3938	16	35	₢	₢	ADP
iajs-3938	16	36	.	.	PUNCT
iajs-3938	17	1	a	a	DET
iajs-3938	17	2	grill	grill	ADJ
iajs-3938	17	3	topological	topological	ADJ
iajs-3938	17	4	space	space	NOUN
iajs-3938	17	5	is	be	AUX
iajs-3938	17	6	denoted	denote	VERB
iajs-3938	17	7	by	by	ADP
iajs-3938	17	8	(	(	PUNCT
iajs-3938	17	9	℘	℘	PROPN
iajs-3938	17	10	,	,	PUNCT
iajs-3938	17	11	τ	τ	NOUN
iajs-3938	17	12	,	,	PUNCT
iajs-3938	17	13	₢	₢	ADP
iajs-3938	17	14	)	)	PUNCT
iajs-3938	17	15	(	(	PUNCT
iajs-3938	17	16	5	5	NUM
iajs-3938	17	17	-	-	SYM
iajs-3938	17	18	7	7	NUM
iajs-3938	17	19	)	)	PUNCT
iajs-3938	17	20	.	.	PUNCT
iajs-3938	18	1	scholars	scholar	NOUN
iajs-3938	18	2	investigated	investigate	VERB
iajs-3938	18	3	topological	topological	ADJ
iajs-3938	18	4	concepts	concept	NOUN
iajs-3938	18	5	and	and	CCONJ
iajs-3938	18	6	defined	define	VERB
iajs-3938	18	7	a	a	DET
iajs-3938	18	8	unique	unique	ADJ
iajs-3938	18	9	topology	topology	NOUN
iajs-3938	18	10	via	via	ADP
iajs-3938	18	11	a	a	DET
iajs-3938	18	12	grill	grill	NOUN
iajs-3938	18	13	.	.	PUNCT
iajs-3938	19	1	let	let	VERB
iajs-3938	19	2	φ	φ	NOUN
iajs-3938	19	3	:	:	PUNCT
iajs-3938	19	4	ƥ(℘	ƥ(℘	NUM
iajs-3938	19	5	)	)	PUNCT
iajs-3938	19	6	→	→	SYM
iajs-3938	19	7	ƥ(℘	ƥ(℘	X
iajs-3938	19	8	)	)	PUNCT
iajs-3938	19	9	be	be	AUX
iajs-3938	19	10	a	a	DET
iajs-3938	19	11	mapping	mapping	NOUN
iajs-3938	19	12	,	,	PUNCT
iajs-3938	19	13	and	and	CCONJ
iajs-3938	19	14	it	it	PRON
iajs-3938	19	15	is	be	AUX
iajs-3938	19	16	referred	refer	VERB
iajs-3938	19	17	to	to	ADP
iajs-3938	19	18	as	as	ADP
iajs-3938	19	19	φ	φ	PROPN
iajs-3938	19	20	(	(	PUNCT
iajs-3938	19	21	μ	μ	NOUN
iajs-3938	19	22	)	)	PUNCT
iajs-3938	19	23	=	=	PRON
iajs-3938	19	24	{	{	PUNCT
iajs-3938	19	25	x	x	PUNCT
iajs-3938	19	26	∈	∈	PROPN
iajs-3938	19	27	℘	℘	PROPN
iajs-3938	19	28	:	:	PUNCT
iajs-3938	19	29	μ	μ	PROPN
iajs-3938	19	30	∩	∩	ADJ
iajs-3938	19	31	u	u	PROPN
iajs-3938	19	32	∈	∈	PROPN
iajs-3938	19	33	₢	₢	ADP
iajs-3938	19	34	for	for	ADP
iajs-3938	19	35	every	every	DET
iajs-3938	19	36	u	u	PROPN
iajs-3938	19	37	∈	∈	PROPN
iajs-3938	19	38	τ℘for	τ℘for	NOUN
iajs-3938	19	39	every	every	DET
iajs-3938	19	40	μ	μ	PROPN
iajs-3938	19	41	∈ƥ(℘	∈ƥ(℘	PROPN
iajs-3938	19	42	)	)	PUNCT
iajs-3938	19	43	and	and	CCONJ
iajs-3938	19	44	τ℘	τ℘	NUM
iajs-3938	19	45	which	which	PRON
iajs-3938	19	46	is	be	AUX
iajs-3938	19	47	all	all	PRON
iajs-3938	19	48	open	open	ADJ
iajs-3938	19	49	set	set	NOUN
iajs-3938	19	50	containg	contae	VERB
iajs-3938	19	51	x.	x.	NOUN
iajs-3938	19	52	suppose	suppose	VERB
iajs-3938	19	53	that	that	SCONJ
iajs-3938	19	54	θ	θ	NOUN
iajs-3938	19	55	:	:	PUNCT
iajs-3938	19	56	ƥ(℘	ƥ(℘	NUM
iajs-3938	19	57	)	)	PUNCT
iajs-3938	19	58	→ƥ(℘	→ƥ(℘	PUNCT
iajs-3938	19	59	)	)	PUNCT
iajs-3938	19	60	is	be	AUX
iajs-3938	19	61	a	a	DET
iajs-3938	19	62	mapping	mapping	NOUN
iajs-3938	19	63	,	,	PUNCT
iajs-3938	19	64	and	and	CCONJ
iajs-3938	19	65	it	it	PRON
iajs-3938	19	66	is	be	AUX
iajs-3938	19	67	referred	refer	VERB
iajs-3938	19	68	to	to	ADP
iajs-3938	19	69	as	as	ADP
iajs-3938	19	70	θ	θ	PROPN
iajs-3938	19	71	(	(	PUNCT
iajs-3938	19	72	μ	μ	NOUN
iajs-3938	19	73	)	)	PUNCT
iajs-3938	19	74	=	=	PUNCT
iajs-3938	19	75	μ∪φ(μ	μ∪φ(μ	NOUN
iajs-3938	19	76	)	)	PUNCT
iajs-3938	19	77	for	for	ADP
iajs-3938	19	78	every	every	DET
iajs-3938	19	79	μ∈ƥ(℘	μ∈ƥ(℘	PROPN
iajs-3938	19	80	)	)	PUNCT
iajs-3938	19	81	(	(	PUNCT
iajs-3938	19	82	8	8	NUM
iajs-3938	19	83	-	-	SYM
iajs-3938	19	84	12	12	NUM
iajs-3938	19	85	)	)	PUNCT
iajs-3938	19	86	.	.	PUNCT
iajs-3938	20	1	the	the	DET
iajs-3938	20	2	map	map	NOUN
iajs-3938	20	3	θ	θ	NOUN
iajs-3938	20	4	satisfies	satisfy	VERB
iajs-3938	20	5	the	the	DET
iajs-3938	20	6	closure	closure	NOUN
iajs-3938	20	7	axioms	axiom	NOUN
iajs-3938	20	8	of	of	ADP
iajs-3938	20	9	kuratowski	kuratowski	ADJ
iajs-3938	20	10	(	(	PUNCT
iajs-3938	20	11	13	13	NUM
iajs-3938	20	12	-	-	SYM
iajs-3938	20	13	15	15	NUM
iajs-3938	20	14	)	)	PUNCT
iajs-3938	20	15	i.	i.	NOUN
iajs-3938	20	16	θ	θ	PROPN
iajs-3938	20	17	(	(	PUNCT
iajs-3938	20	18	∅)=∅.	∅)=∅.	PROPN
iajs-3938	20	19	ii	ii	NOUN
iajs-3938	20	20	.	.	PUNCT
iajs-3938	21	1	when	when	SCONJ
iajs-3938	21	2	μ	μ	PROPN
iajs-3938	21	3	⊆	⊆	NUM
iajs-3938	21	4	υ	υ	NOUN
iajs-3938	21	5	,	,	PUNCT
iajs-3938	21	6	then	then	ADV
iajs-3938	21	7	θ	θ	PROPN
iajs-3938	21	8	(	(	PUNCT
iajs-3938	21	9	μ	μ	NOUN
iajs-3938	21	10	)	)	PUNCT
iajs-3938	21	11	⊆	⊆	NUM
iajs-3938	21	12	θ	θ	PROPN
iajs-3938	21	13	(	(	PUNCT
iajs-3938	21	14	υ	υ	NOUN
iajs-3938	21	15	)	)	PUNCT
iajs-3938	21	16	.	.	PUNCT
iajs-3938	22	1	iii	iii	X
iajs-3938	22	2	.	.	PUNCT
iajs-3938	23	1	when	when	SCONJ
iajs-3938	23	2	μ	μ	PROPN
iajs-3938	23	3	⊆	⊆	NUM
iajs-3938	23	4	℘	℘	PROPN
iajs-3938	23	5	,	,	PUNCT
iajs-3938	23	6	then	then	ADV
iajs-3938	23	7	θ	θ	PROPN
iajs-3938	23	8	(	(	PUNCT
iajs-3938	23	9	θ	θ	PROPN
iajs-3938	23	10	(	(	PUNCT
iajs-3938	23	11	μ))=	μ))=	PROPN
iajs-3938	23	12	θ	θ	PROPN
iajs-3938	23	13	(	(	PUNCT
iajs-3938	23	14	μ	μ	NOUN
iajs-3938	23	15	)	)	PUNCT
iajs-3938	23	16	.	.	PUNCT
iajs-3938	24	1	https://creativecommons.org/licenses/by/4.0/	https://creativecommons.org/licenses/by/4.0/	PROPN
iajs-3938	24	2	https://creativecommons.org/licenses/by/4.0/	https://creativecommons.org/licenses/by/4.0/	PROPN
iajs-3938	25	1	https://orcid.org/0009-0003-9308-5970	https://orcid.org/0009-0003-9308-5970	PROPN
iajs-3938	25	2	mailto:tabarakayad314@gmail.com	mailto:tabarakayad314@gmail.com	PROPN
iajs-3938	25	3	https://orcid.org/0000-0002-4743-6034	https://orcid.org/0000-0002-4743-6034	VERB
iajs-3938	25	4	mailto:ranamumosa@yahoo.com	mailto:ranamumosa@yahoo.com	X
iajs-3938	25	5	https://orcid.com	https://orcid.com	X
iajs-3938	25	6	mailto:zezoradwan@yahoo.com	mailto:zezoradwan@yahoo.com	X
iajs-3938	25	7	ihjpas	ihjpas	PROPN
iajs-3938	25	8	.	.	PUNCT
iajs-3938	26	1	2025,38(2	2025,38(2	PROPN
iajs-3938	26	2	)	)	PUNCT
iajs-3938	26	3	419	419	NUM
iajs-3938	26	4	iv	iv	NOUN
iajs-3938	26	5	.	.	PUNCT
iajs-3938	27	1	when	when	SCONJ
iajs-3938	27	2	μ	μ	NOUN
iajs-3938	27	3	,	,	PUNCT
iajs-3938	27	4	υ	υ	NOUN
iajs-3938	27	5	⊆	⊆	NUM
iajs-3938	27	6	℘	℘	NOUN
iajs-3938	27	7	,	,	PUNCT
iajs-3938	27	8	then	then	ADV
iajs-3938	27	9	θ	θ	PROPN
iajs-3938	27	10	(	(	PUNCT
iajs-3938	27	11	μ	μ	PROPN
iajs-3938	27	12	∪	∪	ADP
iajs-3938	27	13	υ)=	υ)=	NOUN
iajs-3938	27	14	θ	θ	PROPN
iajs-3938	27	15	(	(	PUNCT
iajs-3938	27	16	μ	μ	NOUN
iajs-3938	27	17	)	)	PUNCT
iajs-3938	27	18	∪	∪	X
iajs-3938	27	19	θ	θ	PROPN
iajs-3938	27	20	(	(	PUNCT
iajs-3938	27	21	υ	υ	NOUN
iajs-3938	27	22	)	)	PUNCT
iajs-3938	27	23	.	.	PUNCT
iajs-3938	28	1	there	there	PRON
iajs-3938	28	2	are	be	VERB
iajs-3938	28	3	several	several	ADJ
iajs-3938	28	4	types	type	NOUN
iajs-3938	28	5	of	of	ADP
iajs-3938	28	6	grill	grill	ADJ
iajs-3938	28	7	topological	topological	ADJ
iajs-3938	28	8	spaces	space	NOUN
iajs-3938	28	9	,	,	PUNCT
iajs-3938	28	10	including	include	VERB
iajs-3938	28	11	discrete	discrete	ADJ
iajs-3938	28	12	and	and	CCONJ
iajs-3938	28	13	cofinite	cofinite	NOUN
iajs-3938	28	14	topologies	topology	NOUN
iajs-3938	28	15	.	.	PUNCT
iajs-3938	29	1	we	we	PRON
iajs-3938	29	2	can	can	AUX
iajs-3938	29	3	locate	locate	VERB
iajs-3938	29	4	τ₢	τ₢	NOUN
iajs-3938	29	5	in	in	ADP
iajs-3938	29	6	a	a	DET
iajs-3938	29	7	grill	grill	NOUN
iajs-3938	29	8	₢	₢	ADP
iajs-3938	29	9	on	on	ADP
iajs-3938	29	10	a	a	DET
iajs-3938	29	11	topological	topological	ADJ
iajs-3938	29	12	space	space	NOUN
iajs-3938	29	13	(	(	PUNCT
iajs-3938	29	14	℘	℘	PROPN
iajs-3938	29	15	,	,	PUNCT
iajs-3938	29	16	τ	τ	NOUN
iajs-3938	29	17	)	)	PUNCT
iajs-3938	29	18	via	via	ADP
iajs-3938	29	19	the	the	DET
iajs-3938	29	20	base	base	NOUN
iajs-3938	29	21	given	give	VERB
iajs-3938	29	22	by	by	ADP
iajs-3938	29	23	the	the	DET
iajs-3938	29	24	following	following	ADJ
iajs-3938	29	25	b(τ℘	b(τ℘	NOUN
iajs-3938	29	26	,	,	PUNCT
iajs-3938	29	27	℘	℘	PROPN
iajs-3938	29	28	)	)	PUNCT
iajs-3938	29	29	=	=	PRON
iajs-3938	29	30	{	{	PUNCT
iajs-3938	29	31	v	v	NUM
iajs-3938	29	32	−	−	PROPN
iajs-3938	29	33	μ	μ	NOUN
iajs-3938	29	34	:	:	PUNCT
iajs-3938	29	35	v∈τ	v∈τ	NOUN
iajs-3938	29	36	,	,	PUNCT
iajs-3938	29	37	μ∉₢}.there	μ∉₢}.there	NOUN
iajs-3938	29	38	exists	exist	VERB
iajs-3938	29	39	a	a	DET
iajs-3938	29	40	unique	unique	ADJ
iajs-3938	29	41	topology	topology	NOUN
iajs-3938	29	42	with	with	ADP
iajs-3938	29	43	the	the	DET
iajs-3938	29	44	formula	formula	NOUN
iajs-3938	29	45	τ₢	τ₢	PUNCT
iajs-3938	29	46	=	=	NOUN
iajs-3938	29	47	{	{	PUNCT
iajs-3938	29	48	u⊆	u⊆	NOUN
iajs-3938	29	49	℘	℘	NOUN
iajs-3938	29	50	:	:	PUNCT
iajs-3938	29	51	ψ	ψ	X
iajs-3938	29	52	(	(	PUNCT
iajs-3938	29	53	℘u)=	℘u)=	PROPN
iajs-3938	29	54	(	(	PUNCT
iajs-3938	29	55	℘u	℘u	PROPN
iajs-3938	29	56	)	)	PUNCT
iajs-3938	29	57	}	}	PUNCT
iajs-3938	29	58	,	,	PUNCT
iajs-3938	29	59	for	for	ADP
iajs-3938	29	60	any	any	DET
iajs-3938	29	61	μ	μ	PROPN
iajs-3938	29	62	⊆℘.ψ(μ)=μ	⊆℘.ψ(μ)=μ	NUM
iajs-3938	29	63	∪φ(μ	∪φ(μ	NOUN
iajs-3938	29	64	)	)	PUNCT
iajs-3938	29	65	=	=	SYM
iajs-3938	29	66	τg	τg	NUM
iajs-3938	29	67	ςl	ςl	PROPN
iajs-3938	29	68	(	(	PUNCT
iajs-3938	29	69	μ	μ	NOUN
iajs-3938	29	70	)	)	PUNCT
iajs-3938	29	71	and	and	CCONJ
iajs-3938	29	72	τ	τ	PROPN
iajs-3938	29	73	⊆	⊆	NUM
iajs-3938	29	74	τg	τg	NUM
iajs-3938	29	75	(	(	PUNCT
iajs-3938	29	76	4	4	NUM
iajs-3938	29	77	)	)	PUNCT
iajs-3938	29	78	.	.	PUNCT
iajs-3938	30	1	every	every	DET
iajs-3938	30	2	set	set	NOUN
iajs-3938	30	3	belongs	belong	VERB
iajs-3938	30	4	to	to	ADP
iajs-3938	30	5	τg	τg	PROPN
iajs-3938	30	6	is	be	AUX
iajs-3938	30	7	₢	₢	ADP
iajs-3938	30	8	-open	-open	ADJ
iajs-3938	30	9	sets	set	NOUN
iajs-3938	30	10	,	,	PUNCT
iajs-3938	30	11	and	and	CCONJ
iajs-3938	30	12	its	its	PRON
iajs-3938	30	13	complement	complement	NOUN
iajs-3938	30	14	is	be	AUX
iajs-3938	30	15	₢	₢	ADP
iajs-3938	30	16	-closed	-close	VERB
iajs-3938	30	17	sets	set	NOUN
iajs-3938	30	18	;	;	PUNCT
iajs-3938	30	19	the	the	DET
iajs-3938	30	20	family	family	NOUN
iajs-3938	30	21	of	of	ADP
iajs-3938	30	22	all	all	DET
iajs-3938	30	23	₢	₢	ADP
iajs-3938	30	24	-closed	-close	VERB
iajs-3938	30	25	is	be	AUX
iajs-3938	30	26	denoted	denote	VERB
iajs-3938	30	27	by	by	ADP
iajs-3938	30	28	(	(	PUNCT
iajs-3938	30	29	16	16	NUM
iajs-3938	30	30	-	-	SYM
iajs-3938	30	31	19	19	NUM
iajs-3938	30	32	)	)	PUNCT
iajs-3938	30	33	.	.	PUNCT
iajs-3938	31	1	for	for	ADP
iajs-3938	31	2	instance	instance	NOUN
iajs-3938	31	3	,	,	PUNCT
iajs-3938	31	4	suppose	suppose	VERB
iajs-3938	31	5	that	that	SCONJ
iajs-3938	31	6	(	(	PUNCT
iajs-3938	31	7	℘	℘	PROPN
iajs-3938	31	8	,	,	PUNCT
iajs-3938	31	9	τ	τ	X
iajs-3938	31	10	)	)	PUNCT
iajs-3938	31	11	is	be	AUX
iajs-3938	31	12	a	a	DET
iajs-3938	31	13	topological	topological	ADJ
iajs-3938	31	14	space	space	NOUN
iajs-3938	31	15	,	,	PUNCT
iajs-3938	31	16	if	if	SCONJ
iajs-3938	31	17	₢	₢	ADP
iajs-3938	31	18	=	=	SYM
iajs-3938	31	19	ƥ(℘)∖{φ	ƥ(℘)∖{φ	PROPN
iajs-3938	31	20	}	}	PUNCT
iajs-3938	31	21	,	,	PUNCT
iajs-3938	31	22	then	then	ADV
iajs-3938	31	23	τg	τg	PROPN
iajs-3938	32	1	=	=	SYM
iajs-3938	32	2	τ	τ	PROPN
iajs-3938	32	3	.	.	PUNCT
iajs-3938	33	1	let	let	VERB
iajs-3938	33	2	(	(	PUNCT
iajs-3938	33	3	℘	℘	PROPN
iajs-3938	33	4	,	,	PUNCT
iajs-3938	33	5	τ	τ	X
iajs-3938	33	6	)	)	PUNCT
iajs-3938	33	7	be	be	VERB
iajs-3938	33	8	a	a	DET
iajs-3938	33	9	topological	topological	ADJ
iajs-3938	33	10	space	space	NOUN
iajs-3938	33	11	;	;	PUNCT
iajs-3938	33	12	suppose	suppose	VERB
iajs-3938	33	13	that	that	SCONJ
iajs-3938	33	14	μ⊆	μ⊆	PROPN
iajs-3938	33	15	℘	℘	PROPN
iajs-3938	33	16	,	,	PUNCT
iajs-3938	33	17	if	if	SCONJ
iajs-3938	33	18	μ	μ	PROPN
iajs-3938	33	19	⊆	⊆	NUM
iajs-3938	33	20	ᶩnt(ςl	ᶩnt(ςl	NOUN
iajs-3938	33	21	(	(	PUNCT
iajs-3938	33	22	ᶩnt(μ	ᶩnt(μ	PROPN
iajs-3938	33	23	)	)	PUNCT
iajs-3938	33	24	)	)	PUNCT
iajs-3938	33	25	,	,	PUNCT
iajs-3938	33	26	then	then	ADV
iajs-3938	33	27	μ	μ	PROPN
iajs-3938	33	28	is	be	AUX
iajs-3938	33	29	α	α	NOUN
iajs-3938	33	30	-	-	ADJ
iajs-3938	33	31	open	open	ADJ
iajs-3938	33	32	set	set	NOUN
iajs-3938	33	33	.	.	PUNCT
iajs-3938	34	1	suppose	suppose	VERB
iajs-3938	34	2	υ	υ	PRON
iajs-3938	34	3	⊆	⊆	NUM
iajs-3938	34	4	℘	℘	PROPN
iajs-3938	34	5	it	it	PRON
iajs-3938	34	6	is	be	AUX
iajs-3938	34	7	α	α	PRON
iajs-3938	34	8	-	-	PUNCT
iajs-3938	34	9	closed	close	VERB
iajs-3938	34	10	set	set	NOUN
iajs-3938	34	11	if	if	SCONJ
iajs-3938	34	12	(	(	PUNCT
iajs-3938	34	13	℘-υ	℘-υ	PROPN
iajs-3938	34	14	)	)	PUNCT
iajs-3938	34	15	is	be	AUX
iajs-3938	34	16	an	an	DET
iajs-3938	34	17	α	α	NOUN
iajs-3938	34	18	-open	-open	NOUN
iajs-3938	34	19	set	set	NOUN
iajs-3938	34	20	.	.	PUNCT
iajs-3938	35	1	the	the	DET
iajs-3938	35	2	collection	collection	NOUN
iajs-3938	35	3	of	of	ADP
iajs-3938	35	4	all	all	DET
iajs-3938	35	5	α	α	NOUN
iajs-3938	35	6	-	-	ADJ
iajs-3938	35	7	open	open	ADJ
iajs-3938	35	8	(	(	PUNCT
iajs-3938	35	9	respectively	respectively	ADV
iajs-3938	35	10	,	,	PUNCT
iajs-3938	35	11	α	α	NOUN
iajs-3938	35	12	-	-	ADJ
iajs-3938	35	13	closed	closed	ADJ
iajs-3938	35	14	)	)	PUNCT
iajs-3938	35	15	sets	set	NOUN
iajs-3938	35	16	in	in	ADP
iajs-3938	35	17	(	(	PUNCT
iajs-3938	35	18	℘	℘	PROPN
iajs-3938	35	19	,	,	PUNCT
iajs-3938	35	20	τ	τ	X
iajs-3938	35	21	)	)	PUNCT
iajs-3938	35	22	will	will	AUX
iajs-3938	35	23	be	be	AUX
iajs-3938	35	24	symbolized	symbolize	VERB
iajs-3938	35	25	by	by	ADP
iajs-3938	35	26	τα(respectively	τα(respectively	ADV
iajs-3938	35	27	,	,	PUNCT
iajs-3938	35	28	αc(℘	αc(℘	NOUN
iajs-3938	35	29	)	)	PUNCT
iajs-3938	35	30	)	)	PUNCT
iajs-3938	35	31	.	.	PUNCT
iajs-3938	36	1	many	many	ADJ
iajs-3938	36	2	academics	academic	NOUN
iajs-3938	36	3	have	have	AUX
iajs-3938	36	4	employed	employ	VERB
iajs-3938	36	5	these	these	DET
iajs-3938	36	6	combinations	combination	NOUN
iajs-3938	36	7	with	with	ADP
iajs-3938	36	8	the	the	DET
iajs-3938	36	9	aim	aim	NOUN
iajs-3938	36	10	of	of	ADP
iajs-3938	36	11	producing	produce	VERB
iajs-3938	36	12	novel	novel	ADJ
iajs-3938	36	13	generalizations	generalization	NOUN
iajs-3938	36	14	(	(	PUNCT
iajs-3938	36	15	20,21	20,21	NUM
iajs-3938	36	16	)	)	PUNCT
iajs-3938	36	17	.	.	PUNCT
iajs-3938	37	1	in	in	ADP
iajs-3938	37	2	this	this	DET
iajs-3938	37	3	study	study	NOUN
iajs-3938	37	4	,	,	PUNCT
iajs-3938	37	5	int	int	PROPN
iajs-3938	37	6	(	(	PUNCT
iajs-3938	37	7	μ	μ	NOUN
iajs-3938	37	8	)	)	PUNCT
iajs-3938	37	9	is	be	AUX
iajs-3938	37	10	employed	employ	VERB
iajs-3938	37	11	to	to	PART
iajs-3938	37	12	represent	represent	VERB
iajs-3938	37	13	the	the	DET
iajs-3938	37	14	interior(μ	interior(μ	PROPN
iajs-3938	37	15	)	)	PUNCT
iajs-3938	37	16	,	,	PUNCT
iajs-3938	37	17	and	and	CCONJ
iajs-3938	37	18	the	the	DET
iajs-3938	37	19	symbol	symbol	NOUN
iajs-3938	37	20	cl(μ	cl(μ	PUNCT
iajs-3938	37	21	)	)	PUNCT
iajs-3938	37	22	represents	represent	VERB
iajs-3938	37	23	a	a	DET
iajs-3938	37	24	closure	closure	NOUN
iajs-3938	37	25	of	of	ADP
iajs-3938	37	26	the	the	DET
iajs-3938	37	27	set	set	PROPN
iajs-3938	37	28	μ	μ	PROPN
iajs-3938	37	29	(	(	PUNCT
iajs-3938	37	30	22	22	NUM
iajs-3938	37	31	-	-	SYM
iajs-3938	37	32	25	25	NUM
iajs-3938	37	33	)	)	PUNCT
iajs-3938	37	34	.	.	PUNCT
iajs-3938	38	1	2	2	X
iajs-3938	38	2	.	.	X
iajs-3938	38	3	materials	material	NOUN
iajs-3938	38	4	and	and	CCONJ
iajs-3938	38	5	methods	method	NOUN
iajs-3938	38	6	on	on	ADP
iajs-3938	38	7	𝐆𝛂	𝐆𝛂	PROPN
iajs-3938	38	8	∗	∗	NOUN
iajs-3938	38	9	-open	-open	PROPN
iajs-3938	38	10	sets	set	NOUN
iajs-3938	38	11	definition	definition	NOUN
iajs-3938	38	12	2.1	2.1	NUM
iajs-3938	38	13	:	:	PUNCT
iajs-3938	38	14	let	let	AUX
iajs-3938	38	15	(	(	PUNCT
iajs-3938	38	16	ϱ	ϱ	VERB
iajs-3938	38	17	,	,	PUNCT
iajs-3938	38	18	τ	τ	PROPN
iajs-3938	38	19	,	,	PUNCT
iajs-3938	38	20	₢	₢	ADP
iajs-3938	38	21	)	)	PUNCT
iajs-3938	38	22	is	be	AUX
iajs-3938	38	23	a	a	DET
iajs-3938	38	24	g.t.s	g.t.s	NOUN
iajs-3938	38	25	,	,	PUNCT
iajs-3938	38	26	ς	ς	PROPN
iajs-3938	38	27	∈	∈	PROPN
iajs-3938	38	28	τ	τ	PROPN
iajs-3938	38	29	.	.	PUNCT
iajs-3938	39	1	the	the	DET
iajs-3938	39	2	closure	closure	NOUN
iajs-3938	39	3	grill	grill	NOUN
iajs-3938	39	4	alpha	alpha	NOUN
iajs-3938	39	5	of	of	ADP
iajs-3938	39	6	ς	ς	PROPN
iajs-3938	39	7	denoted	denote	VERB
iajs-3938	39	8	by	by	ADP
iajs-3938	39	9	ςl₢	ςl₢	PROPN
iajs-3938	39	10	α(ς	α(ς	NOUN
iajs-3938	39	11	)	)	PUNCT
iajs-3938	39	12	is	be	AUX
iajs-3938	39	13	defined	define	VERB
iajs-3938	39	14	by	by	ADP
iajs-3938	39	15	;	;	PUNCT
iajs-3938	39	16	ςl₢	ςl₢	NUM
iajs-3938	39	17	α	α	PROPN
iajs-3938	39	18	(	(	PUNCT
iajs-3938	39	19	ς)=∩{ѵ⊆	ς)=∩{ѵ⊆	PROPN
iajs-3938	39	20	ϱ	ϱ	ADP
iajs-3938	39	21	;	;	PUNCT
iajs-3938	39	22	ѵ	ѵ	PROPN
iajs-3938	39	23	𝑖𝑠	𝑖𝑠	NOUN
iajs-3938	40	1	𝑎	𝑎	NOUN
iajs-3938	40	2	𝑐𝑙𝑜𝑠𝑒𝑑	𝑐𝑙𝑜𝑠𝑒𝑑	NOUN
iajs-3938	40	3	set	set	VERB
iajs-3938	40	4	in	in	ADP
iajs-3938	40	5	τ₢α	τ₢α	ADJ
iajs-3938	41	1	whenever	whenever	SCONJ
iajs-3938	41	2	ς	ς	PROPN
iajs-3938	41	3	⊆ѵ	⊆ѵ	X
iajs-3938	41	4	}	}	PUNCT
iajs-3938	41	5	.	.	PUNCT
iajs-3938	42	1	definition	definition	NOUN
iajs-3938	42	2	2.2	2.2	NUM
iajs-3938	42	3	:	:	PUNCT
iajs-3938	42	4	let	let	VERB
iajs-3938	42	5	a	a	PRON
iajs-3938	42	6	be	be	AUX
iajs-3938	42	7	a	a	DET
iajs-3938	42	8	subset	subset	NOUN
iajs-3938	42	9	of	of	ADP
iajs-3938	42	10	(	(	PUNCT
iajs-3938	42	11	℘	℘	PROPN
iajs-3938	42	12	,	,	PUNCT
iajs-3938	42	13	τ	τ	PROPN
iajs-3938	42	14	,	,	PUNCT
iajs-3938	42	15	₢	₢	ADP
iajs-3938	42	16	)	)	PUNCT
iajs-3938	42	17	,	,	PUNCT
iajs-3938	42	18	a	a	PRON
iajs-3938	42	19	is	be	AUX
iajs-3938	42	20	a	a	DET
iajs-3938	42	21	gα	gα	NOUN
iajs-3938	42	22	-open	-open	NOUN
iajs-3938	42	23	set	set	VERB
iajs-3938	42	24	if	if	SCONJ
iajs-3938	42	25	there	there	PRON
iajs-3938	42	26	exists	exist	VERB
iajs-3938	42	27	ς∈𝜏	ς∈𝜏	NOUN
iajs-3938	42	28	;	;	PUNCT
iajs-3938	42	29	ς	ς	PROPN
iajs-3938	42	30	⊆	⊆	NUM
iajs-3938	42	31	a⊆	a⊆	NUM
iajs-3938	42	32	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	NOUN
iajs-3938	42	33	(	(	PUNCT
iajs-3938	42	34	ς	ς	NOUN
iajs-3938	42	35	)	)	PUNCT
iajs-3938	42	36	.	.	PUNCT
iajs-3938	43	1	the	the	DET
iajs-3938	43	2	complement	complement	NOUN
iajs-3938	43	3	of	of	ADP
iajs-3938	43	4	gα	gα	ADP
iajs-3938	43	5	−	−	PUNCT
iajs-3938	43	6	open	open	ADJ
iajs-3938	43	7	set	set	NOUN
iajs-3938	43	8	is	be	AUX
iajs-3938	43	9	the	the	DET
iajs-3938	43	10	gα	gα	ADV
iajs-3938	43	11	-𝑐𝑙𝑜𝑠𝑒𝑑	-𝑐𝑙𝑜𝑠𝑒𝑑	ADJ
iajs-3938	43	12	set	set	NOUN
iajs-3938	43	13	,	,	PUNCT
iajs-3938	43	14	the	the	DET
iajs-3938	43	15	set	set	NOUN
iajs-3938	43	16	of	of	ADP
iajs-3938	43	17	all	all	DET
iajs-3938	43	18	gα	gα	ADP
iajs-3938	43	19	-𝑜𝑝𝑒𝑛	-𝑜𝑝𝑒𝑛	NOUN
iajs-3938	43	20	set	set	NOUN
iajs-3938	43	21	denoted	denote	VERB
iajs-3938	43	22	by	by	ADP
iajs-3938	43	23	gα	gα	PROPN
iajs-3938	43	24	-𝑜(℘	-𝑜(℘	PROPN
iajs-3938	43	25	)	)	PUNCT
iajs-3938	43	26	and	and	CCONJ
iajs-3938	43	27	the	the	DET
iajs-3938	43	28	complement	complement	NOUN
iajs-3938	43	29	denoted	denote	VERB
iajs-3938	43	30	by	by	ADP
iajs-3938	43	31	gα	gα	PROPN
iajs-3938	43	32	-𝑐(℘	-𝑐(℘	PROPN
iajs-3938	43	33	)	)	PUNCT
iajs-3938	43	34	.	.	PUNCT
iajs-3938	44	1	definition	definition	NOUN
iajs-3938	44	2	2.3	2.3	NUM
iajs-3938	44	3	:	:	PUNCT
iajs-3938	44	4	a	a	DET
iajs-3938	44	5	sub	sub	NOUN
iajs-3938	44	6	set	set	VERB
iajs-3938	44	7	a	a	PRON
iajs-3938	44	8	of	of	ADP
iajs-3938	44	9	a	a	DET
iajs-3938	44	10	grill	grill	ADJ
iajs-3938	44	11	topological	topological	ADJ
iajs-3938	44	12	space	space	NOUN
iajs-3938	44	13	(	(	PUNCT
iajs-3938	44	14	ϱ	ϱ	PROPN
iajs-3938	44	15	,	,	PUNCT
iajs-3938	44	16	τ	τ	PROPN
iajs-3938	44	17	,	,	PUNCT
iajs-3938	44	18	₢	₢	ADP
iajs-3938	44	19	)	)	PUNCT
iajs-3938	44	20	is	be	AUX
iajs-3938	44	21	𝑠aid	𝑠aid	ADJ
iajs-3938	44	22	to	to	PART
iajs-3938	44	23	be	be	AUX
iajs-3938	44	24	α	α	NOUN
iajs-3938	44	25	-	-	ADJ
iajs-3938	44	26	open	open	ADJ
iajs-3938	44	27	set	set	NOUN
iajs-3938	44	28	via	via	ADP
iajs-3938	44	29	grill	grill	NOUN
iajs-3938	44	30	if	if	SCONJ
iajs-3938	44	31	there	there	PRON
iajs-3938	44	32	exists	exist	VERB
iajs-3938	44	33	ς	ς	PROPN
iajs-3938	44	34	∈𝜏	∈𝜏	NOUN
iajs-3938	44	35	;	;	PUNCT
iajs-3938	44	36	ς	ς	PROPN
iajs-3938	44	37	−a∉₢	−a∉₢	NOUN
iajs-3938	44	38	and	and	CCONJ
iajs-3938	44	39	a−ᶩ𝑛𝑡clgα(ς)∉	a−ᶩ𝑛𝑡clgα(ς)∉	NOUN
iajs-3938	44	40	₢	₢	NOUN
iajs-3938	44	41	.	.	PUNCT
iajs-3938	44	42	and	and	CCONJ
iajs-3938	44	43	denoted	denote	VERB
iajs-3938	44	44	by	by	ADP
iajs-3938	44	45	gα	gα	ADP
iajs-3938	44	46	∗	∗	NOUN
iajs-3938	44	47	-𝑜𝑝𝑒𝑛.	-𝑜𝑝𝑒𝑛.	NOUN
iajs-3938	44	48	ϱ	ϱ	PROPN
iajs-3938	44	49	−a	−a	NOUN
iajs-3938	44	50	is	be	AUX
iajs-3938	44	51	gα	gα	ADP
iajs-3938	44	52	∗	∗	NOUN
iajs-3938	44	53	-𝑐𝑙𝑜𝑠𝑒𝑑	-𝑐𝑙𝑜𝑠𝑒𝑑	ADJ
iajs-3938	44	54	,	,	PUNCT
iajs-3938	44	55	and	and	CCONJ
iajs-3938	44	56	the	the	DET
iajs-3938	44	57	set	set	NOUN
iajs-3938	44	58	of	of	ADP
iajs-3938	44	59	all	all	PRON
iajs-3938	44	60	gα	gα	ADP
iajs-3938	44	61	∗	∗	NOUN
iajs-3938	44	62	-𝑜𝑝𝑒𝑛	-𝑜𝑝𝑒𝑛	NOUN
iajs-3938	44	63	presently	presently	ADV
iajs-3938	44	64	by	by	ADP
iajs-3938	44	65	gα	gα	ADP
iajs-3938	44	66	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	44	67	)	)	PUNCT
iajs-3938	44	68	.	.	PUNCT
iajs-3938	45	1	the	the	DET
iajs-3938	45	2	set	set	NOUN
iajs-3938	45	3	of	of	ADP
iajs-3938	45	4	all	all	PRON
iajs-3938	45	5	gα	gα	ADP
iajs-3938	45	6	∗	∗	NOUN
iajs-3938	45	7	–	–	PUNCT
iajs-3938	45	8	closed	close	VERB
iajs-3938	45	9	presently	presently	ADV
iajs-3938	45	10	by	by	ADP
iajs-3938	45	11	gα	gα	ADP
iajs-3938	45	12	∗𝑐(ϱ	∗𝑐(ϱ	PROPN
iajs-3938	45	13	)	)	PUNCT
iajs-3938	45	14	.	.	PUNCT
iajs-3938	46	1	example	example	NOUN
iajs-3938	46	2	2.4	2.4	NUM
iajs-3938	46	3	:	:	PUNCT
iajs-3938	46	4	let	let	AUX
iajs-3938	46	5	(	(	PUNCT
iajs-3938	46	6	ϱ	ϱ	VERB
iajs-3938	46	7	,	,	PUNCT
iajs-3938	46	8	τ	τ	PROPN
iajs-3938	46	9	,	,	PUNCT
iajs-3938	46	10	g	g	NOUN
iajs-3938	46	11	)	)	PUNCT
iajs-3938	46	12	is	be	AUX
iajs-3938	46	13	a	a	DET
iajs-3938	46	14	g.t.s	g.t.s	NOUN
iajs-3938	46	15	,	,	PUNCT
iajs-3938	46	16	ϱ={ℒ1	ϱ={ℒ1	NOUN
iajs-3938	46	17	,	,	PUNCT
iajs-3938	46	18	ℒ2	ℒ2	PROPN
iajs-3938	46	19	,	,	PUNCT
iajs-3938	46	20	ℒ3	ℒ3	VERB
iajs-3938	46	21	}	}	PUNCT
iajs-3938	46	22	,	,	PUNCT
iajs-3938	47	1	𝜏=	𝜏=	PROPN
iajs-3938	47	2	{	{	PUNCT
iajs-3938	47	3	ϱ	ϱ	PROPN
iajs-3938	47	4	,	,	PUNCT
iajs-3938	47	5	ø	ø	PROPN
iajs-3938	47	6	,	,	PUNCT
iajs-3938	47	7	{	{	PUNCT
iajs-3938	47	8	ℒ1	ℒ1	PROPN
iajs-3938	47	9	}	}	PUNCT
iajs-3938	47	10	,	,	PUNCT
iajs-3938	47	11	{	{	PUNCT
iajs-3938	47	12	ℒ1	ℒ1	PROPN
iajs-3938	47	13	,	,	PUNCT
iajs-3938	47	14	ℒ2}},g=	ℒ2}},g=	PROPN
iajs-3938	47	15	{	{	PUNCT
iajs-3938	47	16	ς	ς	PROPN
iajs-3938	47	17	⊆	⊆	NUM
iajs-3938	47	18	ϱ	ϱ	ADP
iajs-3938	47	19	;	;	PUNCT
iajs-3938	47	20	ℒ2	ℒ2	PROPN
iajs-3938	47	21	∈u},τg=	∈u},τg=	PROPN
iajs-3938	47	22	{	{	PUNCT
iajs-3938	47	23	ϱ,ø	ϱ,ø	NOUN
iajs-3938	47	24	,	,	PUNCT
iajs-3938	47	25	{	{	PUNCT
iajs-3938	47	26	ℒ2	ℒ2	NOUN
iajs-3938	47	27	,	,	PUNCT
iajs-3938	47	28	ℒ3	ℒ3	ADV
iajs-3938	47	29	}	}	PUNCT
iajs-3938	47	30	,	,	PUNCT
iajs-3938	47	31	{	{	PUNCT
iajs-3938	47	32	ℒ1	ℒ1	PROPN
iajs-3938	47	33	}	}	PUNCT
iajs-3938	47	34	,	,	PUNCT
iajs-3938	47	35	{	{	PUNCT
iajs-3938	47	36	ℒ2	ℒ2	NOUN
iajs-3938	47	37	}	}	PUNCT
iajs-3938	47	38	,	,	PUNCT
iajs-3938	47	39	{	{	PUNCT
iajs-3938	47	40	ℒ1	ℒ1	PROPN
iajs-3938	47	41	,	,	PUNCT
iajs-3938	47	42	ℒ2	ℒ2	PROPN
iajs-3938	47	43	}	}	PUNCT
iajs-3938	47	44	}	}	PUNCT
iajs-3938	47	45	,	,	PUNCT
iajs-3938	47	46	τgα	τgα	PROPN
iajs-3938	47	47	=	=	SYM
iajs-3938	47	48	{	{	PUNCT
iajs-3938	47	49	ϱ	ϱ	PROPN
iajs-3938	47	50	,	,	PUNCT
iajs-3938	47	51	ø	ø	PROPN
iajs-3938	47	52	,	,	PUNCT
iajs-3938	47	53	{	{	PUNCT
iajs-3938	47	54	ℒ2	ℒ2	PROPN
iajs-3938	47	55	,	,	PUNCT
iajs-3938	47	56	ℒ3	ℒ3	PROPN
iajs-3938	47	57	}	}	PUNCT
iajs-3938	47	58	,	,	PUNCT
iajs-3938	47	59	{	{	PUNCT
iajs-3938	47	60	ℒ1	ℒ1	PROPN
iajs-3938	47	61	}	}	PUNCT
iajs-3938	47	62	,	,	PUNCT
iajs-3938	47	63	{	{	PUNCT
iajs-3938	47	64	ℒ2	ℒ2	NOUN
iajs-3938	47	65	}	}	PUNCT
iajs-3938	47	66	,	,	PUNCT
iajs-3938	47	67	{	{	PUNCT
iajs-3938	47	68	ℒ1	ℒ1	PROPN
iajs-3938	47	69	,	,	PUNCT
iajs-3938	47	70	ℒ2	ℒ2	PROPN
iajs-3938	47	71	}	}	PUNCT
iajs-3938	47	72	}	}	PUNCT
iajs-3938	47	73	fgα	fgα	NOUN
iajs-3938	47	74	=	=	SYM
iajs-3938	47	75	{	{	PUNCT
iajs-3938	47	76	ϱ	ϱ	PROPN
iajs-3938	47	77	,	,	PUNCT
iajs-3938	47	78	ø	ø	PROPN
iajs-3938	47	79	,	,	PUNCT
iajs-3938	47	80	{	{	PUNCT
iajs-3938	47	81	ℒ2	ℒ2	PROPN
iajs-3938	47	82	,	,	PUNCT
iajs-3938	47	83	ℒ3	ℒ3	PROPN
iajs-3938	47	84	}	}	PUNCT
iajs-3938	47	85	,	,	PUNCT
iajs-3938	47	86	{	{	PUNCT
iajs-3938	47	87	ℒ1	ℒ1	PROPN
iajs-3938	47	88	}	}	PUNCT
iajs-3938	47	89	,	,	PUNCT
iajs-3938	47	90	{	{	PUNCT
iajs-3938	47	91	ℒ3	ℒ3	NOUN
iajs-3938	47	92	}	}	PUNCT
iajs-3938	47	93	,	,	PUNCT
iajs-3938	47	94	{	{	PUNCT
iajs-3938	47	95	ℒ1	ℒ1	NOUN
iajs-3938	47	96	,	,	PUNCT
iajs-3938	47	97	ℒ3	ℒ3	PROPN
iajs-3938	47	98	}	}	PUNCT
iajs-3938	47	99	}	}	PUNCT
iajs-3938	47	100	gα	gα	ADP
iajs-3938	47	101	∗o(ϱ	∗o(ϱ	NOUN
iajs-3938	47	102	)	)	PUNCT
iajs-3938	47	103	=	=	PRON
iajs-3938	47	104	{	{	PUNCT
iajs-3938	47	105	ϱ	ϱ	PROPN
iajs-3938	47	106	,	,	PUNCT
iajs-3938	47	107	ø	ø	PROPN
iajs-3938	47	108	,	,	PUNCT
iajs-3938	47	109	{	{	PUNCT
iajs-3938	47	110	ℒ1	ℒ1	PROPN
iajs-3938	47	111	}	}	PUNCT
iajs-3938	47	112	,	,	PUNCT
iajs-3938	47	113	{	{	PUNCT
iajs-3938	47	114	ℒ1	ℒ1	PROPN
iajs-3938	47	115	,	,	PUNCT
iajs-3938	47	116	ℒ2	ℒ2	PROPN
iajs-3938	47	117	}	}	PUNCT
iajs-3938	47	118	,	,	PUNCT
iajs-3938	47	119	{	{	PUNCT
iajs-3938	47	120	ℒ1	ℒ1	NOUN
iajs-3938	47	121	,	,	PUNCT
iajs-3938	47	122	ℒ3	ℒ3	PROPN
iajs-3938	47	123	}	}	PUNCT
iajs-3938	47	124	}	}	PUNCT
iajs-3938	47	125	.	.	PUNCT
iajs-3938	48	1	proposition	proposition	NOUN
iajs-3938	48	2	2.5	2.5	NUM
iajs-3938	48	3	.	.	PUNCT
iajs-3938	49	1	i.	i.	PROPN
iajs-3938	49	2	each	each	DET
iajs-3938	49	3	open	open	ADJ
iajs-3938	49	4	set	set	NOUN
iajs-3938	49	5	is	be	AUX
iajs-3938	49	6	also	also	ADV
iajs-3938	49	7	a	a	DET
iajs-3938	49	8	gα	gα	NOUN
iajs-3938	49	9	∗	∗	NOUN
iajs-3938	49	10	-open	-open	NOUN
iajs-3938	49	11	set	set	NOUN
iajs-3938	49	12	.	.	PUNCT
iajs-3938	50	1	ii	ii	PROPN
iajs-3938	50	2	.	.	PUNCT
iajs-3938	51	1	each	each	DET
iajs-3938	51	2	closed	closed	ADJ
iajs-3938	51	3	set	set	NOUN
iajs-3938	51	4	is	be	AUX
iajs-3938	51	5	a	a	DET
iajs-3938	51	6	gα	gα	NOUN
iajs-3938	51	7	∗	∗	NOUN
iajs-3938	51	8	-closed	-close	VERB
iajs-3938	51	9	set	set	NOUN
iajs-3938	51	10	.	.	PUNCT
iajs-3938	52	1	proof	proof	NOUN
iajs-3938	52	2	.	.	PUNCT
iajs-3938	53	1	(	(	PUNCT
iajs-3938	53	2	i	i	NOUN
iajs-3938	53	3	)	)	PUNCT
iajs-3938	53	4	suppose	suppose	VERB
iajs-3938	53	5	a∈𝜏	a∈𝜏	NOUN
iajs-3938	53	6	,	,	PUNCT
iajs-3938	53	7	let	let	VERB
iajs-3938	53	8	ς	ς	PROPN
iajs-3938	53	9	∈𝜏	∈𝜏	PROPN
iajs-3938	53	10	,	,	PUNCT
iajs-3938	53	11	𝑠𝑢𝑐ℎ	𝑠𝑢𝑐ℎ	VERB
iajs-3938	53	12	𝑡ℎ𝑎𝑡	𝑡ℎ𝑎𝑡	ADJ
iajs-3938	54	1	ς	ς	PROPN
iajs-3938	54	2	⊆	⊆	NUM
iajs-3938	54	3	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	NOUN
iajs-3938	54	4	(	(	PUNCT
iajs-3938	54	5	ς	ς	NOUN
iajs-3938	54	6	)	)	PUNCT
iajs-3938	54	7	,	,	PUNCT
iajs-3938	54	8	whenever	whenever	SCONJ
iajs-3938	54	9	ς	ς	PROPN
iajs-3938	54	10	=	=	NOUN
iajs-3938	54	11	a∈𝜏	a∈𝜏	NOUN
iajs-3938	55	1	so	so	ADV
iajs-3938	55	2	,	,	PUNCT
iajs-3938	55	3	ς	ς	PROPN
iajs-3938	55	4	−a=𝜙∉₢	−a=𝜙∉₢	X
iajs-3938	55	5	∧a−ᶩ𝑛𝑡clgαa=𝜙∉₢	∧a−ᶩ𝑛𝑡clgαa=𝜙∉₢	PROPN
iajs-3938	55	6	.	.	PUNCT
iajs-3938	56	1	(	(	PUNCT
iajs-3938	56	2	ii	ii	NOUN
iajs-3938	56	3	)	)	PUNCT
iajs-3938	56	4	let	let	VERB
iajs-3938	56	5	a	a	PRON
iajs-3938	56	6	is	be	AUX
iajs-3938	56	7	a	a	DET
iajs-3938	56	8	closed	closed	ADJ
iajs-3938	56	9	set	set	NOUN
iajs-3938	56	10	,	,	PUNCT
iajs-3938	56	11	thus	thus	ADV
iajs-3938	56	12	ac∈𝜏	ac∈𝜏	NOUN
iajs-3938	56	13	,	,	PUNCT
iajs-3938	56	14	ac	ac	PROPN
iajs-3938	56	15	∈gα	∈gα	PROPN
iajs-3938	56	16	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	56	17	)	)	PUNCT
iajs-3938	56	18	,	,	PUNCT
iajs-3938	56	19	then	then	ADV
iajs-3938	56	20	a∈	a∈	PROPN
iajs-3938	56	21	gα	gα	ADP
iajs-3938	56	22	∗𝑐(ϱ	∗𝑐(ϱ	PROPN
iajs-3938	56	23	)	)	PUNCT
iajs-3938	56	24	.	.	PUNCT
iajs-3938	57	1	proposition	proposition	NOUN
iajs-3938	57	2	2.6	2.6	NUM
iajs-3938	57	3	.	.	PUNCT
iajs-3938	58	1	whenever	whenever	SCONJ
iajs-3938	58	2	a	a	PRON
iajs-3938	58	3	is	be	AUX
iajs-3938	58	4	a	a	DET
iajs-3938	58	5	gα	gα	NOUN
iajs-3938	58	6	-𝑜𝑝𝑒𝑛	-𝑜𝑝𝑒𝑛	NOUN
iajs-3938	58	7	set	set	NOUN
iajs-3938	58	8	,	,	PUNCT
iajs-3938	58	9	then	then	ADV
iajs-3938	58	10	a	a	PRON
iajs-3938	58	11	is	be	AUX
iajs-3938	58	12	a	a	DET
iajs-3938	58	13	gα	gα	NOUN
iajs-3938	58	14	∗	∗	NOUN
iajs-3938	58	15	𝑜𝑝𝑒𝑛	𝑜𝑝𝑒𝑛	NOUN
iajs-3938	58	16	set	set	NOUN
iajs-3938	58	17	.	.	PUNCT
iajs-3938	59	1	proof	proof	NOUN
iajs-3938	59	2	.	.	PUNCT
iajs-3938	60	1	suppose	suppose	VERB
iajs-3938	60	2	a	a	PRON
iajs-3938	60	3	is	be	AUX
iajs-3938	60	4	a	a	DET
iajs-3938	60	5	gα	gα	NOUN
iajs-3938	60	6	-𝑜𝑝𝑒𝑛	-𝑜𝑝𝑒𝑛	NOUN
iajs-3938	60	7	,	,	PUNCT
iajs-3938	60	8	then	then	ADV
iajs-3938	60	9	there	there	PRON
iajs-3938	60	10	exists	exist	VERB
iajs-3938	60	11	ς	ς	PROPN
iajs-3938	60	12	is	be	AUX
iajs-3938	60	13	an	an	DET
iajs-3938	60	14	open	open	ADJ
iajs-3938	60	15	set	set	NOUN
iajs-3938	60	16	such	such	ADJ
iajs-3938	60	17	that	that	SCONJ
iajs-3938	60	18	ς	ς	PROPN
iajs-3938	60	19	⊆a⊆ᶩ𝑛𝑡clgα(ς	⊆a⊆ᶩ𝑛𝑡clgα(ς	NUM
iajs-3938	60	20	)	)	PUNCT
iajs-3938	60	21	,	,	PUNCT
iajs-3938	61	1	thus	thus	ADV
iajs-3938	61	2	ς	ς	X
iajs-3938	61	3	−a=∅∧a−ᶩ𝑛𝑡clgα(ς	−a=∅∧a−ᶩ𝑛𝑡clgα(ς	X
iajs-3938	61	4	)	)	PUNCT
iajs-3938	61	5	=	=	NOUN
iajs-3938	61	6	∅	∅	NOUN
iajs-3938	61	7	and	and	CCONJ
iajs-3938	61	8	ς	ς	PROPN
iajs-3938	61	9	−a∉₢∧a−ᶩ𝑛𝑡clgα(ς	−a∉₢∧a−ᶩ𝑛𝑡clgα(ς	PROPN
iajs-3938	61	10	)	)	PUNCT
iajs-3938	61	11	∉₢.	∉₢.	X
iajs-3938	61	12	then	then	ADV
iajs-3938	61	13	a	a	PRON
iajs-3938	61	14	is	be	AUX
iajs-3938	61	15	a	a	DET
iajs-3938	61	16	gα	gα	NOUN
iajs-3938	61	17	∗	∗	NOUN
iajs-3938	61	18	-open	-open	NOUN
iajs-3938	61	19	set	set	NOUN
iajs-3938	61	20	.	.	PUNCT
iajs-3938	62	1	proposition	proposition	NOUN
iajs-3938	62	2	2.7	2.7	NUM
iajs-3938	62	3	.	.	PUNCT
iajs-3938	63	1	in	in	ADP
iajs-3938	63	2	g.t.s	g.t.s	PROPN
iajs-3938	63	3	(	(	PUNCT
iajs-3938	63	4	ϱ	ϱ	PROPN
iajs-3938	63	5	,	,	PUNCT
iajs-3938	63	6	τ,₢	τ,₢	PROPN
iajs-3938	63	7	)	)	PUNCT
iajs-3938	63	8	,	,	PUNCT
iajs-3938	63	9	a	a	PRON
iajs-3938	63	10	is	be	AUX
iajs-3938	63	11	an	an	DET
iajs-3938	63	12	gα	gα	NOUN
iajs-3938	63	13	-o	-o	PUNCT
iajs-3938	63	14	set	set	VERB
iajs-3938	63	15	if	if	SCONJ
iajs-3938	63	16	and	and	CCONJ
iajs-3938	63	17	only	only	ADV
iajs-3938	63	18	if	if	SCONJ
iajs-3938	63	19	a	a	PRON
iajs-3938	63	20	is	be	AUX
iajs-3938	63	21	a	a	DET
iajs-3938	63	22	gα	gα	NOUN
iajs-3938	63	23	∗	∗	NOUN
iajs-3938	63	24	-o	-o	PUNCT
iajs-3938	63	25	set	set	VERB
iajs-3938	63	26	whenever	whenever	SCONJ
iajs-3938	63	27	₢	₢	ADP
iajs-3938	63	28	=	=	NOUN
iajs-3938	63	29	ƥ(ϱ)∖{∅	ƥ(ϱ)∖{∅	NUM
iajs-3938	63	30	}	}	PUNCT
iajs-3938	63	31	.	.	PUNCT
iajs-3938	64	1	ihjpas	ihjpas	PROPN
iajs-3938	64	2	.	.	PUNCT
iajs-3938	65	1	2025,38(2	2025,38(2	NOUN
iajs-3938	65	2	)	)	PUNCT
iajs-3938	65	3	420	420	NUM
iajs-3938	65	4	proof	proof	NOUN
iajs-3938	65	5	.	.	PUNCT
iajs-3938	66	1	suppose	suppose	VERB
iajs-3938	66	2	a	a	PRON
iajs-3938	66	3	is	be	AUX
iajs-3938	66	4	a	a	DET
iajs-3938	66	5	gα	gα	NOUN
iajs-3938	66	6	-open	-open	ADJ
iajs-3938	66	7	set	set	NOUN
iajs-3938	66	8	,	,	PUNCT
iajs-3938	66	9	then	then	ADV
iajs-3938	66	10	a	a	PRON
iajs-3938	66	11	is	be	AUX
iajs-3938	66	12	a	a	DET
iajs-3938	66	13	gα	gα	NOUN
iajs-3938	66	14	∗	∗	NOUN
iajs-3938	66	15	-open	-open	NOUN
iajs-3938	66	16	set	set	VERB
iajs-3938	66	17	by	by	ADP
iajs-3938	66	18	(	(	PUNCT
iajs-3938	66	19	theorem	theorem	ADJ
iajs-3938	66	20	2.5	2.5	NUM
iajs-3938	66	21	)	)	PUNCT
iajs-3938	66	22	.	.	PUNCT
iajs-3938	67	1	conversely	conversely	ADV
iajs-3938	67	2	,	,	PUNCT
iajs-3938	67	3	let	let	VERB
iajs-3938	67	4	a	a	PRON
iajs-3938	67	5	is	be	AUX
iajs-3938	67	6	a	a	DET
iajs-3938	67	7	gα	gα	NOUN
iajs-3938	67	8	∗	∗	NOUN
iajs-3938	67	9	-open	-open	NOUN
iajs-3938	67	10	set	set	VERB
iajs-3938	67	11	so	so	ADV
iajs-3938	67	12	,	,	PUNCT
iajs-3938	67	13	there	there	PRON
iajs-3938	67	14	exists	exist	VERB
iajs-3938	67	15	ς	ς	PROPN
iajs-3938	67	16	∈𝜏	∈𝜏	NOUN
iajs-3938	67	17	such	such	ADJ
iajs-3938	67	18	that	that	SCONJ
iajs-3938	67	19	ς	ς	PROPN
iajs-3938	67	20	−a∉g∧a−ᶩ𝑛𝑡clgα(ς)∉g	−a∉g∧a−ᶩ𝑛𝑡clgα(ς)∉g	NOUN
iajs-3938	67	21	.thus	.thus	ADV
iajs-3938	67	22	,	,	PUNCT
iajs-3938	67	23	ς	ς	PROPN
iajs-3938	67	24	−a=∅∧a−ᶩ𝑛𝑡clgα(ς)=∅	−a=∅∧a−ᶩ𝑛𝑡clgα(ς)=∅	PROPN
iajs-3938	67	25	then	then	ADV
iajs-3938	67	26	ς	ς	PROPN
iajs-3938	67	27	⊆a	⊆a	NOUN
iajs-3938	67	28	and	and	CCONJ
iajs-3938	67	29	a⊆ᶩ𝑛𝑡clgα(ς),𝑠𝑜	a⊆ᶩ𝑛𝑡clgα(ς),𝑠𝑜	PROPN
iajs-3938	67	30	ς	ς	PROPN
iajs-3938	67	31	⊆a⊆ᶩ𝑛𝑡clgα(ς	⊆a⊆ᶩ𝑛𝑡clgα(ς	NUM
iajs-3938	67	32	)	)	PUNCT
iajs-3938	67	33	.	.	PUNCT
iajs-3938	68	1	there	there	ADV
iajs-3938	68	2	fore	fore	ADV
iajs-3938	68	3	a	a	PRON
iajs-3938	68	4	is	be	AUX
iajs-3938	68	5	a	a	DET
iajs-3938	68	6	gα	gα	NOUN
iajs-3938	68	7	open	open	ADJ
iajs-3938	68	8	.	.	PUNCT
iajs-3938	69	1	note	note	VERB
iajs-3938	69	2	.	.	PUNCT
iajs-3938	70	1	gα	gα	ADP
iajs-3938	70	2	∗	∗	NOUN
iajs-3938	70	3	-o	-o	PUNCT
iajs-3938	70	4	with	with	ADP
iajs-3938	70	5	α	α	PROPN
iajs-3938	70	6	-o	-o	INTJ
iajs-3938	70	7	set	set	PROPN
iajs-3938	70	8	are	be	AUX
iajs-3938	70	9	independent	independent	ADJ
iajs-3938	70	10	.	.	PUNCT
iajs-3938	70	11	example	example	NOUN
iajs-3938	70	12	2.8	2.8	NUM
iajs-3938	70	13	:	:	PUNCT
iajs-3938	70	14	suppose	suppose	VERB
iajs-3938	70	15	(	(	PUNCT
iajs-3938	70	16	ϱ	ϱ	PROPN
iajs-3938	70	17	,	,	PUNCT
iajs-3938	70	18	τ	τ	PROPN
iajs-3938	70	19	,	,	PUNCT
iajs-3938	70	20	g	g	NOUN
iajs-3938	70	21	)	)	PUNCT
iajs-3938	70	22	is	be	AUX
iajs-3938	70	23	any	any	DET
iajs-3938	70	24	grill	grill	NOUN
iajs-3938	70	25	topology	topology	NOUN
iajs-3938	70	26	and	and	CCONJ
iajs-3938	70	27	ϱ={ℒ1	ϱ={ℒ1	NOUN
iajs-3938	70	28	,	,	PUNCT
iajs-3938	70	29	ℒ2	ℒ2	PROPN
iajs-3938	70	30	,	,	PUNCT
iajs-3938	70	31	ℒ3	ℒ3	VERB
iajs-3938	70	32	}	}	PUNCT
iajs-3938	70	33	,	,	PUNCT
iajs-3938	70	34	𝜏=	𝜏=	PROPN
iajs-3938	70	35	{	{	PUNCT
iajs-3938	70	36	ϱ	ϱ	PROPN
iajs-3938	70	37	,	,	PUNCT
iajs-3938	70	38	ø	ø	PROPN
iajs-3938	70	39	,	,	PUNCT
iajs-3938	70	40	{	{	PUNCT
iajs-3938	70	41	ℒ1	ℒ1	NOUN
iajs-3938	70	42	}	}	PUNCT
iajs-3938	70	43	}	}	PUNCT
iajs-3938	70	44	,	,	PUNCT
iajs-3938	70	45	g	g	PROPN
iajs-3938	70	46	=	=	PRON
iajs-3938	70	47	{	{	PUNCT
iajs-3938	70	48	u⊆	u⊆	NOUN
iajs-3938	70	49	ϱ	ϱ	PROPN
iajs-3938	70	50	;	;	PUNCT
iajs-3938	70	51	ℒ1	ℒ1	PROPN
iajs-3938	70	52	∈	∈	PROPN
iajs-3938	70	53	ς	ς	PROPN
iajs-3938	70	54	}	}	PUNCT
iajs-3938	70	55	,	,	PUNCT
iajs-3938	70	56	τg=	τg=	PROPN
iajs-3938	70	57	{	{	PUNCT
iajs-3938	70	58	ϱ,ø	ϱ,ø	NOUN
iajs-3938	70	59	,	,	PUNCT
iajs-3938	70	60	{	{	PUNCT
iajs-3938	70	61	ℒ2	ℒ2	NOUN
iajs-3938	70	62	,	,	PUNCT
iajs-3938	70	63	ℒ3	ℒ3	ADV
iajs-3938	70	64	}	}	PUNCT
iajs-3938	70	65	,	,	PUNCT
iajs-3938	70	66	{	{	PUNCT
iajs-3938	70	67	ℒ1	ℒ1	PROPN
iajs-3938	70	68	}	}	PUNCT
iajs-3938	70	69	,	,	PUNCT
iajs-3938	70	70	{	{	PUNCT
iajs-3938	70	71	ℒ2	ℒ2	NOUN
iajs-3938	70	72	}	}	PUNCT
iajs-3938	70	73	,	,	PUNCT
iajs-3938	70	74	{	{	PUNCT
iajs-3938	70	75	ℒ1	ℒ1	PROPN
iajs-3938	70	76	,	,	PUNCT
iajs-3938	70	77	ℒ2	ℒ2	PROPN
iajs-3938	70	78	}	}	PUNCT
iajs-3938	70	79	}	}	PUNCT
iajs-3938	70	80	,	,	PUNCT
iajs-3938	70	81	gα	gα	ADP
iajs-3938	70	82	∗	∗	NOUN
iajs-3938	70	83	𝑜(ϱ)=ƥ(ϱ	𝑜(ϱ)=ƥ(ϱ	PROPN
iajs-3938	70	84	)	)	PUNCT
iajs-3938	70	85	,	,	PUNCT
iajs-3938	70	86	and	and	CCONJ
iajs-3938	70	87	α𝑜(ϱ)=	α𝑜(ϱ)=	NOUN
iajs-3938	70	88	{	{	PUNCT
iajs-3938	70	89	ς	ς	PROPN
iajs-3938	70	90	⊑	⊑	X
iajs-3938	70	91	ϱ	ϱ	X
iajs-3938	70	92	;	;	PUNCT
iajs-3938	70	93	ℒ1∈	ℒ1∈	PROPN
iajs-3938	70	94	ς	ς	PROPN
iajs-3938	70	95	}	}	PUNCT
iajs-3938	70	96	,	,	PUNCT
iajs-3938	70	97	hence	hence	ADV
iajs-3938	70	98	it	it	PRON
iajs-3938	70	99	is	be	AUX
iajs-3938	70	100	clear	clear	ADJ
iajs-3938	70	101	that	that	SCONJ
iajs-3938	70	102	{	{	PUNCT
iajs-3938	70	103	ℒ2}∈	ℒ2}∈	PUNCT
iajs-3938	70	104	gα	gα	ADP
iajs-3938	70	105	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	70	106	)	)	PUNCT
iajs-3938	70	107	but	but	CCONJ
iajs-3938	70	108	{	{	PUNCT
iajs-3938	70	109	ℒ2}∉	ℒ2}∉	ADV
iajs-3938	70	110	τα	τα	NOUN
iajs-3938	70	111	.	.	PUNCT
iajs-3938	70	112	proposition	proposition	NOUN
iajs-3938	70	113	2.9	2.9	NUM
iajs-3938	70	114	:	:	PUNCT
iajs-3938	70	115	suppose	suppose	VERB
iajs-3938	70	116	a	a	PRON
iajs-3938	70	117	is	be	AUX
iajs-3938	70	118	a	a	DET
iajs-3938	70	119	gα	gα	NOUN
iajs-3938	70	120	∗	∗	NOUN
iajs-3938	70	121	-open	-open	NOUN
iajs-3938	70	122	set	set	NOUN
iajs-3938	70	123	and	and	CCONJ
iajs-3938	70	124	h⊆x	h⊆x	PROPN
iajs-3938	70	125	s𝑢ch	s𝑢ch	VERB
iajs-3938	70	126	that	that	DET
iajs-3938	70	127	a⊆h⊆ᶩ𝑛𝑡clgα(ς	a⊆h⊆ᶩ𝑛𝑡clgα(ς	PROPN
iajs-3938	70	128	)	)	PUNCT
iajs-3938	70	129	for	for	ADP
iajs-3938	70	130	each	each	DET
iajs-3938	70	131	ς	ς	PROPN
iajs-3938	70	132	∈𝜏	∈𝜏	PROPN
iajs-3938	70	133	,	,	PUNCT
iajs-3938	70	134	then	then	ADV
iajs-3938	70	135	h	h	PROPN
iajs-3938	70	136	is	be	AUX
iajs-3938	70	137	a	a	DET
iajs-3938	70	138	gα	gα	NOUN
iajs-3938	70	139	∗	∗	NOUN
iajs-3938	70	140	-open	-open	NOUN
iajs-3938	70	141	set	set	NOUN
iajs-3938	70	142	.	.	PUNCT
iajs-3938	71	1	proof	proof	NOUN
iajs-3938	71	2	.	.	PUNCT
iajs-3938	72	1	whenever	whenever	SCONJ
iajs-3938	72	2	a	a	PRON
iajs-3938	72	3	is	be	AUX
iajs-3938	72	4	a	a	DET
iajs-3938	72	5	gα	gα	NOUN
iajs-3938	72	6	∗	∗	NOUN
iajs-3938	72	7	-open	-open	NOUN
iajs-3938	72	8	set	set	NOUN
iajs-3938	72	9	,	,	PUNCT
iajs-3938	72	10	then	then	ADV
iajs-3938	72	11	∃	∃	PROPN
iajs-3938	72	12	ς	ς	PROPN
iajs-3938	72	13	∈𝜏	∈𝜏	PROPN
iajs-3938	72	14	su𝑐h	su𝑐h	NOUN
iajs-3938	72	15	that	that	PRON
iajs-3938	72	16	ς	ς	PROPN
iajs-3938	72	17	−a∉₢	−a∉₢	PROPN
iajs-3938	72	18	∧a−ᶩ𝑛𝑡clgα(ς)∉g	∧a−ᶩ𝑛𝑡clgα(ς)∉g	NOUN
iajs-3938	72	19	,	,	PUNCT
iajs-3938	72	20	and	and	CCONJ
iajs-3938	72	21	since	since	SCONJ
iajs-3938	72	22	a⊆h	a⊆h	PROPN
iajs-3938	72	23	,	,	PUNCT
iajs-3938	72	24	so	so	ADV
iajs-3938	72	25	ς	ς	PROPN
iajs-3938	72	26	−h⊆	−h⊆	ADJ
iajs-3938	72	27	ς	ς	PROPN
iajs-3938	72	28	−a∉g	−a∉g	NOUN
iajs-3938	72	29	,	,	PUNCT
iajs-3938	72	30	then	then	ADV
iajs-3938	72	31	there	there	PRON
iajs-3938	72	32	exist	exist	VERB
iajs-3938	72	33	ς	ς	PROPN
iajs-3938	72	34	∈𝜏	∈𝜏	NOUN
iajs-3938	72	35	such	such	ADJ
iajs-3938	72	36	that	that	SCONJ
iajs-3938	72	37	ς	ς	PROPN
iajs-3938	72	38	−h∉g	−h∉g	NOUN
iajs-3938	72	39	,	,	PUNCT
iajs-3938	72	40	and	and	CCONJ
iajs-3938	72	41	since	since	SCONJ
iajs-3938	72	42	h⊆ᶩ𝑛𝑡clgα(ς	h⊆ᶩ𝑛𝑡clgα(ς	PROPN
iajs-3938	72	43	)	)	PUNCT
iajs-3938	72	44	for	for	ADP
iajs-3938	72	45	each	each	DET
iajs-3938	72	46	ς	ς	PROPN
iajs-3938	72	47	∈τ	∈τ	NOUN
iajs-3938	72	48	,	,	PUNCT
iajs-3938	72	49	then	then	ADV
iajs-3938	72	50	h−ᶩ𝑛𝑡clgα(ς)=∅∉g	h−ᶩ𝑛𝑡clgα(ς)=∅∉g	ADV
iajs-3938	72	51	,	,	PUNCT
iajs-3938	72	52	there	there	ADV
iajs-3938	72	53	fore	fore	NOUN
iajs-3938	72	54	h	h	PROPN
iajs-3938	72	55	is	be	AUX
iajs-3938	72	56	a	a	DET
iajs-3938	72	57	gα	gα	NOUN
iajs-3938	72	58	∗	∗	NOUN
iajs-3938	72	59	-open	-open	PROPN
iajs-3938	72	60	s𝑒t	s𝑒t	PROPN
iajs-3938	72	61	.	.	PUNCT
iajs-3938	73	1	proposition	proposition	NOUN
iajs-3938	73	2	2.10	2.10	NUM
iajs-3938	73	3	:	:	PUNCT
iajs-3938	73	4	suppose	suppose	VERB
iajs-3938	73	5	that	that	SCONJ
iajs-3938	73	6	(	(	PUNCT
iajs-3938	73	7	ϱ	ϱ	PROPN
iajs-3938	73	8	,	,	PUNCT
iajs-3938	73	9	𝜏	𝜏	NOUN
iajs-3938	73	10	,	,	PUNCT
iajs-3938	73	11	₢	₢	ADP
iajs-3938	73	12	)	)	PUNCT
iajs-3938	73	13	is	be	AUX
iajs-3938	73	14	a	a	DET
iajs-3938	73	15	grill	grill	ADJ
iajs-3938	73	16	topological	topological	ADJ
iajs-3938	73	17	space	space	NOUN
iajs-3938	73	18	and	and	CCONJ
iajs-3938	73	19	a	a	PRON
iajs-3938	73	20	is	be	AUX
iajs-3938	73	21	a	a	DET
iajs-3938	73	22	sub	sub	NOUN
iajs-3938	73	23	set	set	NOUN
iajs-3938	73	24	of	of	ADP
iajs-3938	73	25	ϱ.	ϱ.	NOUN
iajs-3938	73	26	if	if	SCONJ
iajs-3938	73	27	₢	₢	ADP
iajs-3938	73	28	=	=	NOUN
iajs-3938	73	29	ℙ(ϱ)∖{∅	ℙ(ϱ)∖{∅	X
iajs-3938	73	30	}	}	PUNCT
iajs-3938	73	31	.	.	PUNCT
iajs-3938	74	1	a	a	PRON
iajs-3938	74	2	is	be	AUX
iajs-3938	74	3	a	a	DET
iajs-3938	74	4	gα	gα	NOUN
iajs-3938	74	5	∗	∗	NOUN
iajs-3938	74	6	-o	-o	INTJ
iajs-3938	74	7	set	set	VERB
iajs-3938	74	8	if	if	SCONJ
iajs-3938	74	9	and	and	CCONJ
iajs-3938	74	10	only	only	ADV
iajs-3938	74	11	if	if	SCONJ
iajs-3938	74	12	a	a	DET
iajs-3938	74	13	𝑖𝑠	𝑖𝑠	NOUN
iajs-3938	74	14	α	α	PROPN
iajs-3938	74	15	-	-	NOUN
iajs-3938	74	16	o	o	NOUN
iajs-3938	74	17	set	set	NOUN
iajs-3938	74	18	.	.	PUNCT
iajs-3938	75	1	proof	proof	NOUN
iajs-3938	75	2	.	.	PUNCT
iajs-3938	76	1	suppose	suppose	VERB
iajs-3938	76	2	a	a	PRON
iajs-3938	76	3	is	be	AUX
iajs-3938	76	4	a	a	DET
iajs-3938	76	5	gα	gα	NOUN
iajs-3938	76	6	∗	∗	NOUN
iajs-3938	76	7	−open	−open	NOUN
iajs-3938	76	8	𝑠𝑒𝑡	𝑠𝑒𝑡	NOUN
iajs-3938	76	9	,	,	PUNCT
iajs-3938	76	10	there	there	PRON
iajs-3938	76	11	exists	exist	VERB
iajs-3938	76	12	ϱ	ϱ	ADP
iajs-3938	76	13	∈𝜏	∈𝜏	NOUN
iajs-3938	76	14	;	;	PUNCT
iajs-3938	76	15	ϱ	ϱ	ADP
iajs-3938	76	16	−a∉g	−a∉g	X
iajs-3938	76	17	and	and	CCONJ
iajs-3938	76	18	a−ᶩ𝑛𝑡clgα(ς)∉g	a−ᶩ𝑛𝑡clgα(ς)∉g	X
iajs-3938	76	19	,	,	PUNCT
iajs-3938	76	20	ς	ς	PROPN
iajs-3938	76	21	−a=∅∉g	−a=∅∉g	VERB
iajs-3938	76	22	a𝑛d	a𝑛d	PROPN
iajs-3938	76	23	a−ᶩ𝑛𝑡clgα(ς)=∅	a−ᶩ𝑛𝑡clgα(ς)=∅	PROPN
iajs-3938	76	24	,	,	PUNCT
iajs-3938	76	25	ς	ς	PROPN
iajs-3938	76	26	⊆a	⊆a	NOUN
iajs-3938	76	27	a𝑛d	a𝑛d	PROPN
iajs-3938	76	28	a⊆ᶩ𝑛𝑡clgα(ς	a⊆ᶩ𝑛𝑡clgα(ς	PROPN
iajs-3938	76	29	)	)	PUNCT
iajs-3938	76	30	,	,	PUNCT
iajs-3938	76	31	ς	ς	PROPN
iajs-3938	76	32	⊆a⊆ᶩ𝑛𝑡clgα(ς	⊆a⊆ᶩ𝑛𝑡clgα(ς	NUM
iajs-3938	76	33	)	)	PUNCT
iajs-3938	76	34	,	,	PUNCT
iajs-3938	76	35	and	and	CCONJ
iajs-3938	76	36	since	since	SCONJ
iajs-3938	76	37	clgα(ς)=	clgα(ς)=	PROPN
iajs-3938	76	38	clg	clg	NOUN
iajs-3938	76	39	(	(	PUNCT
iajs-3938	76	40	ς),then	ς),then	PROPN
iajs-3938	76	41	ς⊆a⊆ᶩ𝑛𝑡clg(ς	ς⊆a⊆ᶩ𝑛𝑡clg(ς	PROPN
iajs-3938	76	42	)	)	PUNCT
iajs-3938	76	43	.	.	PUNCT
iajs-3938	77	1	therefore	therefore	ADV
iajs-3938	77	2	a	a	PRON
iajs-3938	77	3	is	be	AUX
iajs-3938	77	4	an	an	DET
iajs-3938	77	5	α	α	NOUN
iajs-3938	77	6	-open	-open	ADJ
iajs-3938	77	7	s𝑒t	s𝑒t	PROPN
iajs-3938	77	8	.	.	PUNCT
iajs-3938	78	1	c𝑜nversely	c𝑜nversely	ADV
iajs-3938	78	2	,	,	PUNCT
iajs-3938	78	3	let	let	VERB
iajs-3938	78	4	a	a	PRON
iajs-3938	78	5	be	be	AUX
iajs-3938	78	6	an	an	DET
iajs-3938	78	7	α	α	NOUN
iajs-3938	78	8	-open	-open	NOUN
iajs-3938	78	9	s𝑒t	s𝑒t	NOUN
iajs-3938	78	10	it	it	PRON
iajs-3938	78	11	is	be	AUX
iajs-3938	78	12	clear	clear	ADJ
iajs-3938	78	13	tha𝑡	tha𝑡	NOUN
iajs-3938	78	14	ς	ς	PROPN
iajs-3938	78	15	⊆a⊆ᶩ𝑛𝑡clg(ς	⊆a⊆ᶩ𝑛𝑡clg(ς	PROPN
iajs-3938	78	16	)	)	PUNCT
iajs-3938	78	17	,	,	PUNCT
iajs-3938	78	18	since	since	SCONJ
iajs-3938	78	19	ς	ς	PROPN
iajs-3938	78	20	⊆a	⊆a	NOUN
iajs-3938	78	21	and	and	CCONJ
iajs-3938	78	22	a⊆ᶩ𝑛𝑡clg(ς	a⊆ᶩ𝑛𝑡clg(ς	PROPN
iajs-3938	78	23	)	)	PUNCT
iajs-3938	78	24	,	,	PUNCT
iajs-3938	78	25	then	then	ADV
iajs-3938	78	26	ς−a=∅	ς−a=∅	NOUN
iajs-3938	78	27	a𝑛d	a𝑛d	VERB
iajs-3938	78	28	a−ᶩ𝑛𝑡clg(ς)=∅∉₢	a−ᶩ𝑛𝑡clg(ς)=∅∉₢	PROPN
iajs-3938	78	29	,	,	PUNCT
iajs-3938	78	30	since	since	SCONJ
iajs-3938	78	31	clgα(ς)=	clgα(ς)=	PROPN
iajs-3938	78	32	clg	clg	PROPN
iajs-3938	78	33	(	(	PUNCT
iajs-3938	78	34	ς	ς	NOUN
iajs-3938	78	35	)	)	PUNCT
iajs-3938	78	36	,	,	PUNCT
iajs-3938	78	37	ς	ς	PROPN
iajs-3938	78	38	⊆a⊆ᶩ𝑛𝑡clgα(ς	⊆a⊆ᶩ𝑛𝑡clgα(ς	NUM
iajs-3938	78	39	)	)	PUNCT
iajs-3938	78	40	s𝑜	s𝑜	NOUN
iajs-3938	78	41	a	a	PRON
iajs-3938	78	42	is	be	AUX
iajs-3938	78	43	a	a	DET
iajs-3938	78	44	gα	gα	NOUN
iajs-3938	78	45	∗	∗	NOUN
iajs-3938	78	46	−open	−open	NOUN
iajs-3938	78	47	𝑠𝑒𝑡	𝑠𝑒𝑡	PROPN
iajs-3938	78	48	.	.	PUNCT
iajs-3938	79	1	lemma	lemma	PROPN
iajs-3938	79	2	2.11	2.11	NUM
iajs-3938	79	3	:	:	PUNCT
iajs-3938	79	4	(	(	PUNCT
iajs-3938	79	5	∪ᵼ∈ᶘ	∪ᵼ∈ᶘ	NOUN
iajs-3938	79	6	(	(	PUNCT
iajs-3938	79	7	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	NOUN
iajs-3938	79	8	(	(	PUNCT
iajs-3938	79	9	at	at	ADP
iajs-3938	79	10	)	)	PUNCT
iajs-3938	79	11	)	)	PUNCT
iajs-3938	79	12	)	)	PUNCT
iajs-3938	80	1	⊆	⊆	NUM
iajs-3938	80	2	(	(	PUNCT
iajs-3938	80	3	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	NOUN
iajs-3938	80	4	(	(	PUNCT
iajs-3938	80	5	∪ᵼ∈ᶘ	∪ᵼ∈ᶘ	NOUN
iajs-3938	80	6	at	at	ADP
iajs-3938	80	7	)	)	PUNCT
iajs-3938	80	8	proof	proof	NOUN
iajs-3938	80	9	.	.	PUNCT
iajs-3938	81	1	at⊆	at⊆	PROPN
iajs-3938	81	2	∪ᵼ∈ᶘ	∪ᵼ∈ᶘ	PROPN
iajs-3938	81	3	(	(	PUNCT
iajs-3938	81	4	at	at	ADP
iajs-3938	81	5	)	)	PUNCT
iajs-3938	81	6	,	,	PUNCT
iajs-3938	81	7	𝑠𝑜	𝑠𝑜	ADP
iajs-3938	81	8	ᶩ𝑛𝑡clgα(at)⊆ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα(at)⊆ᶩ𝑛𝑡clgα	PROPN
iajs-3938	81	9	(	(	PUNCT
iajs-3938	81	10	∪ᵼ∈ᶘ(at	∪ᵼ∈ᶘ(at	NOUN
iajs-3938	81	11	)	)	PUNCT
iajs-3938	81	12	)	)	PUNCT
iajs-3938	81	13	,	,	PUNCT
iajs-3938	81	14	∪ᵼ∈ᶘ	∪ᵼ∈ᶘ	NOUN
iajs-3938	81	15	(	(	PUNCT
iajs-3938	81	16	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	PROPN
iajs-3938	81	17	(	(	PUNCT
iajs-3938	81	18	at))⊆(ᶩ𝑛𝑡clgα	at))⊆(ᶩ𝑛𝑡clgα	PROPN
iajs-3938	81	19	(	(	PUNCT
iajs-3938	81	20	∪ᵼ∈ᶘ	∪ᵼ∈ᶘ	NOUN
iajs-3938	81	21	at	at	ADP
iajs-3938	81	22	)	)	PUNCT
iajs-3938	81	23	.	.	PUNCT
iajs-3938	82	1	proposition	proposition	NOUN
iajs-3938	82	2	2.12	2.12	NUM
iajs-3938	82	3	:	:	PUNCT
iajs-3938	82	4	the	the	DET
iajs-3938	82	5	union	union	NOUN
iajs-3938	82	6	of	of	ADP
iajs-3938	82	7	the	the	DET
iajs-3938	82	8	collectin	collectin	NOUN
iajs-3938	82	9	of	of	ADP
iajs-3938	82	10	gα	gα	ADP
iajs-3938	82	11	∗	∗	NOUN
iajs-3938	82	12	-o	-o	INTJ
iajs-3938	82	13	set	set	VERB
iajs-3938	82	14	also	also	ADV
iajs-3938	82	15	gα	gα	ADP
iajs-3938	82	16	∗	∗	NOUN
iajs-3938	82	17	-o	-o	INTJ
iajs-3938	82	18	.	.	PUNCT
iajs-3938	83	1	proof	proof	NOUN
iajs-3938	83	2	.	.	PUNCT
iajs-3938	84	1	suppose	suppose	VERB
iajs-3938	84	2	that	that	SCONJ
iajs-3938	84	3	ai	ai	VERB
iajs-3938	84	4	is	be	AUX
iajs-3938	84	5	a	a	DET
iajs-3938	84	6	gα	gα	NOUN
iajs-3938	84	7	∗	∗	NOUN
iajs-3938	84	8	-open	-open	NOUN
iajs-3938	84	9	set	set	NOUN
iajs-3938	84	10	for	for	SCONJ
iajs-3938	84	11	each	each	DET
iajs-3938	84	12	i	i	PRON
iajs-3938	84	13	to	to	PART
iajs-3938	84	14	show	show	VERB
iajs-3938	84	15	∪i∈ᶘ	∪i∈ᶘ	PROPN
iajs-3938	84	16	ai	ai	VERB
iajs-3938	84	17	is	be	AUX
iajs-3938	84	18	gα	gα	ADP
iajs-3938	84	19	∗	∗	NOUN
iajs-3938	84	20	-o	-o	INTJ
iajs-3938	84	21	,	,	PUNCT
iajs-3938	84	22	since	since	SCONJ
iajs-3938	84	23	ai	ai	INTJ
iajs-3938	84	24	is	be	AUX
iajs-3938	84	25	gα	gα	ADP
iajs-3938	84	26	∗	∗	NOUN
iajs-3938	84	27	-o	-o	INTJ
iajs-3938	84	28	set	set	NOUN
iajs-3938	84	29	,	,	PUNCT
iajs-3938	84	30	then	then	ADV
iajs-3938	84	31	there	there	PRON
iajs-3938	84	32	exists	exist	VERB
iajs-3938	84	33	ς	ς	PROPN
iajs-3938	84	34	i	i	PRON
iajs-3938	84	35	∈𝜏	∈𝜏	VERB
iajs-3938	84	36	,	,	PUNCT
iajs-3938	84	37	(	(	PUNCT
iajs-3938	84	38	ς	ς	PROPN
iajs-3938	84	39	i	i	PROPN
iajs-3938	84	40	−ai)∉₢	−ai)∉₢	PROPN
iajs-3938	84	41	,	,	PUNCT
iajs-3938	84	42	and(ai	and(ai	PROPN
iajs-3938	84	43	−	−	PROPN
iajs-3938	84	44	ᶩ𝑛𝑡clgα(ς	ᶩ𝑛𝑡clgα(ς	NUM
iajs-3938	84	45	i	i	NOUN
iajs-3938	84	46	)	)	PUNCT
iajs-3938	84	47	)	)	PUNCT
iajs-3938	85	1	∉₢.	∉₢.	X
iajs-3938	85	2	now	now	ADV
iajs-3938	85	3	,	,	PUNCT
iajs-3938	85	4	since	since	SCONJ
iajs-3938	85	5	(	(	PUNCT
iajs-3938	85	6	ς	ς	PROPN
iajs-3938	85	7	i	i	PRON
iajs-3938	85	8	−ai)⊆∪i∈ᶘ(ςi	−ai)⊆∪i∈ᶘ(ςi	PROPN
iajs-3938	85	9	−ai	−ai	NOUN
iajs-3938	85	10	)	)	PUNCT
iajs-3938	85	11	and	and	CCONJ
iajs-3938	85	12	(	(	PUNCT
iajs-3938	85	13	ς	ς	PROPN
iajs-3938	85	14	i	i	PRON
iajs-3938	85	15	−ai)∉₢	−ai)∉₢	PROPN
iajs-3938	85	16	∀i	∀i	NOUN
iajs-3938	85	17	,	,	PUNCT
iajs-3938	85	18	then	then	ADV
iajs-3938	85	19	by	by	ADP
iajs-3938	85	20	condition	condition	NOUN
iajs-3938	85	21	two	two	NUM
iajs-3938	85	22	of	of	ADP
iajs-3938	85	23	definition	definition	NOUN
iajs-3938	85	24	of	of	ADP
iajs-3938	85	25	the	the	DET
iajs-3938	85	26	grill	grill	NOUN
iajs-3938	85	27	∪i∈ᶘ	∪i∈ᶘ	PROPN
iajs-3938	86	1	(	(	PUNCT
iajs-3938	86	2	ς	ς	PROPN
iajs-3938	86	3	i	i	PROPN
iajs-3938	86	4	−ai	−ai	NOUN
iajs-3938	86	5	)	)	PUNCT
iajs-3938	86	6	∉₢	∉₢	NOUN
iajs-3938	87	1	but	but	CCONJ
iajs-3938	87	2	(	(	PUNCT
iajs-3938	87	3	∪i∈ᶘ	∪i∈ᶘ	PROPN
iajs-3938	87	4	ς	ς	VERB
iajs-3938	88	1	i	i	PRON
iajs-3938	88	2	−∪i∈ᶘ	−∪i∈ᶘ	AUX
iajs-3938	88	3	ai	ai	VERB
iajs-3938	88	4	)	)	PUNCT
iajs-3938	88	5	⊆	⊆	NUM
iajs-3938	88	6	∪i∈ᶘ	∪i∈ᶘ	NOUN
iajs-3938	88	7	(	(	PUNCT
iajs-3938	88	8	ς	ς	PROPN
iajs-3938	88	9	i	i	PRON
iajs-3938	88	10	−ai)∉₢.	−ai)∉₢.	PROPN
iajs-3938	88	11	therefore	therefore	ADV
iajs-3938	88	12	,	,	PUNCT
iajs-3938	88	13	(	(	PUNCT
iajs-3938	88	14	∪i∈ᶘ	∪i∈ᶘ	ADP
iajs-3938	88	15	ς	ς	VERB
iajs-3938	88	16	i	i	PRON
iajs-3938	88	17	−∪i∈ᶘ	−∪i∈ᶘ	ADV
iajs-3938	88	18	ai)∉₢	ai)∉₢	VERB
iajs-3938	88	19	and	and	CCONJ
iajs-3938	88	20	∪i∈ᶘ	∪i∈ᶘ	NOUN
iajs-3938	88	21	ς	ς	PROPN
iajs-3938	89	1	i	i	PRON
iajs-3938	89	2	∈𝜏.	∈𝜏.	VERB
iajs-3938	89	3	now	now	ADV
iajs-3938	89	4	,	,	PUNCT
iajs-3938	89	5	to	to	ADP
iajs-3938	89	6	proof	proof	NOUN
iajs-3938	89	7	(	(	PUNCT
iajs-3938	89	8	∪i∈ᶘ	∪i∈ᶘ	ADV
iajs-3938	89	9	ai−ᶩ𝑛𝑡clgα(∪i∈ᶘ	ai−ᶩ𝑛𝑡clgα(∪i∈ᶘ	PROPN
iajs-3938	89	10	ς	ς	PROPN
iajs-3938	89	11	i	i	NOUN
iajs-3938	89	12	)	)	PUNCT
iajs-3938	89	13	)	)	PUNCT
iajs-3938	90	1	∉₢	∉₢	NOUN
iajs-3938	90	2	,	,	PUNCT
iajs-3938	90	3	hence	hence	ADV
iajs-3938	90	4	(	(	PUNCT
iajs-3938	90	5	ai−ᶩ𝑛𝑡∪i∈ᶘ	ai−ᶩ𝑛𝑡∪i∈ᶘ	PROPN
iajs-3938	90	6	(	(	PUNCT
iajs-3938	90	7	ςi	ςi	NOUN
iajs-3938	90	8	)	)	PUNCT
iajs-3938	90	9	)	)	PUNCT
iajs-3938	90	10	∉₢	∉₢	NOUN
iajs-3938	90	11	for	for	ADP
iajs-3938	90	12	each	each	DET
iajs-3938	90	13	i	i	PRON
iajs-3938	90	14	so	so	ADV
iajs-3938	90	15	,	,	PUNCT
iajs-3938	90	16	by	by	ADP
iajs-3938	90	17	condition	condition	NOUN
iajs-3938	90	18	two	two	NUM
iajs-3938	90	19	of	of	ADP
iajs-3938	90	20	the	the	DET
iajs-3938	90	21	definition	definition	NOUN
iajs-3938	90	22	of	of	ADP
iajs-3938	90	23	the	the	DET
iajs-3938	90	24	grill	grill	NOUN
iajs-3938	90	25	.	.	PUNCT
iajs-3938	91	1	∪i∈ᶘ	∪i∈ᶘ	PROPN
iajs-3938	92	1	(	(	PUNCT
iajs-3938	92	2	ai−(ᶩ𝑛𝑡clgα(∪i∈ᶘ	ai−(ᶩ𝑛𝑡clgα(∪i∈ᶘ	X
iajs-3938	92	3	ς	ς	PROPN
iajs-3938	92	4	i	i	NOUN
iajs-3938	92	5	)	)	PUNCT
iajs-3938	92	6	)	)	PUNCT
iajs-3938	93	1	∉₢	∉₢	NOUN
iajs-3938	93	2	and	and	CCONJ
iajs-3938	93	3	since	since	SCONJ
iajs-3938	93	4	(	(	PUNCT
iajs-3938	93	5	∪i∈ᶘ	∪i∈ᶘ	ADV
iajs-3938	93	6	ai−∪i∈ᶘ	ai−∪i∈ᶘ	ADV
iajs-3938	93	7	(	(	PUNCT
iajs-3938	93	8	ᶩ𝑛𝑡clgα	ᶩ𝑛𝑡clgα	NOUN
iajs-3938	93	9	(	(	PUNCT
iajs-3938	93	10	ς	ς	PROPN
iajs-3938	93	11	i	i	NOUN
iajs-3938	93	12	)	)	PUNCT
iajs-3938	93	13	)	)	PUNCT
iajs-3938	94	1	⊆	⊆	X
iajs-3938	94	2	∪i∈ᶘ	∪i∈ᶘ	NOUN
iajs-3938	94	3	(	(	PUNCT
iajs-3938	94	4	ai−ᶩ𝑛𝑡clgα	ai−ᶩ𝑛𝑡clgα	NOUN
iajs-3938	94	5	(	(	PUNCT
iajs-3938	94	6	ς	ς	PROPN
iajs-3938	94	7	i	i	PROPN
iajs-3938	94	8	)	)	PUNCT
iajs-3938	94	9	)	)	PUNCT
iajs-3938	94	10	∉₢	∉₢	NOUN
iajs-3938	94	11	,	,	PUNCT
iajs-3938	94	12	therefore	therefore	ADV
iajs-3938	94	13	(	(	PUNCT
iajs-3938	94	14	∪i∈ᶘ	∪i∈ᶘ	ADV
iajs-3938	94	15	ai−(ᶩ𝑛𝑡clgα	ai−(ᶩ𝑛𝑡clgα	VERB
iajs-3938	94	16	∪i∈ᶘ	∪i∈ᶘ	PROPN
iajs-3938	94	17	(	(	PUNCT
iajs-3938	94	18	ςi	ςi	NOUN
iajs-3938	94	19	)	)	PUNCT
iajs-3938	94	20	)	)	PUNCT
iajs-3938	94	21	∉₢	∉₢	NOUN
iajs-3938	94	22	by	by	ADP
iajs-3938	94	23	(	(	PUNCT
iajs-3938	94	24	lemma	lemma	PROPN
iajs-3938	94	25	2.11	2.11	NUM
iajs-3938	94	26	)	)	PUNCT
iajs-3938	94	27	∪i∈ᶘ	∪i∈ᶘ	ADV
iajs-3938	95	1	ai	ai	VERB
iajs-3938	95	2	is	be	AUX
iajs-3938	95	3	a	a	DET
iajs-3938	95	4	gα	gα	NOUN
iajs-3938	95	5	∗	∗	NOUN
iajs-3938	95	6	-open	-open	NOUN
iajs-3938	95	7	set	set	NOUN
iajs-3938	95	8	.	.	PUNCT
iajs-3938	96	1	note	note	NOUN
iajs-3938	96	2	:	:	PUNCT
iajs-3938	96	3	a	a	DET
iajs-3938	96	4	collection	collection	NOUN
iajs-3938	96	5	of	of	ADP
iajs-3938	96	6	every	every	DET
iajs-3938	96	7	gα	gα	NOUN
iajs-3938	96	8	∗	∗	NOUN
iajs-3938	96	9	-o	-o	PUNCT
iajs-3938	96	10	sets	set	NOUN
iajs-3938	96	11	is	be	AUX
iajs-3938	96	12	supra	supra	ADJ
iajs-3938	96	13	topology	topology	NOUN
iajs-3938	96	14	.	.	PUNCT
iajs-3938	97	1	`	`	PUNCT
iajs-3938	97	2	3	3	X
iajs-3938	97	3	.	.	X
iajs-3938	98	1	some	some	DET
iajs-3938	98	2	kinds	kind	NOUN
iajs-3938	98	3	of	of	ADP
iajs-3938	98	4	𝐆𝛂	𝐆𝛂	PROPN
iajs-3938	98	5	∗	∗	NOUN
iajs-3938	98	6	-o	-o	PUNCT
iajs-3938	98	7	functions	function	NOUN
iajs-3938	98	8	definition	definition	NOUN
iajs-3938	98	9	3.1	3.1	NUM
iajs-3938	98	10	:	:	PUNCT
iajs-3938	98	11	suppose	suppose	VERB
iajs-3938	98	12	ᶂ	ᶂ	X
iajs-3938	98	13	:(	:(	SYM
iajs-3938	98	14	ϱ	ϱ	PROPN
iajs-3938	98	15	,	,	PUNCT
iajs-3938	98	16	τ	τ	PROPN
iajs-3938	98	17	,	,	PUNCT
iajs-3938	98	18	g)→	g)→	X
iajs-3938	98	19	(	(	PUNCT
iajs-3938	98	20	ϑ,𝜏′,g′	ϑ,𝜏′,g′	NOUN
iajs-3938	98	21	)	)	PUNCT
iajs-3938	98	22	is	be	AUX
iajs-3938	98	23	a	a	DET
iajs-3938	98	24	function	function	NOUN
iajs-3938	98	25	then	then	ADV
iajs-3938	98	26	ᶂ	ᶂ	NOUN
iajs-3938	98	27	is	be	AUX
iajs-3938	98	28	:	:	PUNCT
iajs-3938	98	29	(	(	PUNCT
iajs-3938	98	30	1	1	X
iajs-3938	98	31	)	)	PUNCT
iajs-3938	98	32	gα	gα	ADP
iajs-3938	98	33	∗	∗	NOUN
iajs-3938	98	34	-open	-open	NOUN
iajs-3938	98	35	function	function	NOUN
iajs-3938	98	36	symbolizes	symbolize	VERB
iajs-3938	98	37	"	"	PUNCT
iajs-3938	98	38	gα	gα	ADP
iajs-3938	98	39	∗	∗	NOUN
iajs-3938	98	40	-o	-o	INTJ
iajs-3938	99	1	f	f	X
iajs-3938	99	2	"	"	PUNCT
iajs-3938	99	3	if	if	SCONJ
iajs-3938	99	4	ᶂ(s)∈	ᶂ(s)∈	NOUN
iajs-3938	99	5	gα	gα	ADP
iajs-3938	99	6	∗𝑜(ϑ	∗𝑜(ϑ	PROPN
iajs-3938	99	7	)	)	PUNCT
iajs-3938	99	8	since	since	SCONJ
iajs-3938	99	9	s∈gα	s∈gα	PROPN
iajs-3938	99	10	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	99	11	)	)	PUNCT
iajs-3938	99	12	.	.	PUNCT
iajs-3938	100	1	(	(	PUNCT
iajs-3938	100	2	2	2	X
iajs-3938	100	3	)	)	PUNCT
iajs-3938	100	4	gα	gα	ADP
iajs-3938	100	5	∗∗	∗∗	PROPN
iajs-3938	100	6	open	open	ADJ
iajs-3938	100	7	function	function	NOUN
iajs-3938	100	8	symbolizes	symbolize	VERB
iajs-3938	100	9	"	"	PUNCT
iajs-3938	100	10	gα	gα	ADP
iajs-3938	100	11	∗∗	∗∗	PROPN
iajs-3938	100	12	-o	-o	INTJ
iajs-3938	100	13	f	f	X
iajs-3938	100	14	"	"	PUNCT
iajs-3938	100	15	if	if	SCONJ
iajs-3938	100	16	ᶂ(s)∈	ᶂ(s)∈	NOUN
iajs-3938	100	17	gα	gα	ADP
iajs-3938	100	18	∗	∗	NOUN
iajs-3938	100	19	o(ϑ	o(ϑ	NOUN
iajs-3938	100	20	)	)	PUNCT
iajs-3938	100	21	since	since	SCONJ
iajs-3938	100	22	s∈𝜏	s∈𝜏	NOUN
iajs-3938	100	23	.	.	PUNCT
iajs-3938	101	1	(	(	PUNCT
iajs-3938	101	2	3	3	X
iajs-3938	101	3	)	)	PUNCT
iajs-3938	101	4	gα	gα	SCONJ
iajs-3938	101	5	∗∗∗	∗∗∗	NUM
iajs-3938	101	6	open	open	ADJ
iajs-3938	101	7	function	function	NOUN
iajs-3938	101	8	symbolizes	symbolize	VERB
iajs-3938	101	9	"	"	PUNCT
iajs-3938	101	10	gα	gα	NOUN
iajs-3938	101	11	∗∗∗	∗∗∗	ADV
iajs-3938	101	12	-o	-o	INTJ
iajs-3938	101	13	f	f	X
iajs-3938	101	14	"	"	PUNCT
iajs-3938	101	15	if	if	SCONJ
iajs-3938	101	16	ᶂ(s)∈𝜏′	ᶂ(s)∈𝜏′	PROPN
iajs-3938	101	17	since	since	SCONJ
iajs-3938	101	18	s∈gα	s∈gα	PROPN
iajs-3938	101	19	∗	∗	NOUN
iajs-3938	101	20	o(ϱ	o(ϱ	PROPN
iajs-3938	101	21	)	)	PUNCT
iajs-3938	101	22	.	.	PUNCT
iajs-3938	102	1	ihjpas	ihjpas	PROPN
iajs-3938	102	2	.	.	PUNCT
iajs-3938	103	1	2025,38(2	2025,38(2	PROPN
iajs-3938	103	2	)	)	PUNCT
iajs-3938	103	3	421	421	NUM
iajs-3938	103	4	proposition	proposition	NOUN
iajs-3938	103	5	3.2	3.2	NUM
iajs-3938	103	6	:	:	PUNCT
iajs-3938	103	7	let	let	VERB
iajs-3938	103	8	ᶂ	ᶂ	X
iajs-3938	103	9	:(	:(	X
iajs-3938	103	10	ϱ,τ	ϱ,τ	NOUN
iajs-3938	103	11	,	,	PUNCT
iajs-3938	103	12	g)→	g)→	X
iajs-3938	103	13	(	(	PUNCT
iajs-3938	103	14	ϑ,𝜏′,g′	ϑ,𝜏′,g′	NOUN
iajs-3938	103	15	)	)	PUNCT
iajs-3938	103	16	be	be	AUX
iajs-3938	103	17	a	a	DET
iajs-3938	103	18	function	function	NOUN
iajs-3938	103	19	then	then	ADV
iajs-3938	103	20	(	(	PUNCT
iajs-3938	103	21	1)ᶂ	1)ᶂ	NOUN
iajs-3938	103	22	i𝑠	i𝑠	VERB
iajs-3938	103	23	an	an	DET
iajs-3938	103	24	o	o	NOUN
iajs-3938	103	25	-	-	NOUN
iajs-3938	103	26	f	f	NOUN
iajs-3938	103	27	since	since	SCONJ
iajs-3938	103	28	ᶂ	ᶂ	PRON
iajs-3938	103	29	i𝑠	i𝑠	VERB
iajs-3938	103	30	a	a	DET
iajs-3938	103	31	gα	gα	NOUN
iajs-3938	103	32	∗∗∗	∗∗∗	NUM
iajs-3938	103	33	-𝑜	-𝑜	PROPN
iajs-3938	103	34	f.	f.	PROPN
iajs-3938	103	35	(	(	PUNCT
iajs-3938	103	36	2	2	X
iajs-3938	103	37	)	)	PUNCT
iajs-3938	103	38	ᶂ	ᶂ	NOUN
iajs-3938	103	39	i𝑠	i𝑠	VERB
iajs-3938	103	40	gα	gα	ADP
iajs-3938	103	41	∗	∗	NOUN
iajs-3938	104	1	-𝑜	-𝑜	PROPN
iajs-3938	104	2	f	f	PROPN
iajs-3938	104	3	since	since	SCONJ
iajs-3938	104	4	ᶂ	ᶂ	PRON
iajs-3938	104	5	i𝑠	i𝑠	VERB
iajs-3938	104	6	a	a	DET
iajs-3938	104	7	gα	gα	NOUN
iajs-3938	104	8	∗∗∗	∗∗∗	NUM
iajs-3938	104	9	-𝑜	-𝑜	PROPN
iajs-3938	104	10	f.	f.	PROPN
iajs-3938	104	11	(	(	PUNCT
iajs-3938	104	12	3)ᶂ	3)ᶂ	NUM
iajs-3938	104	13	i𝑠	i𝑠	VERB
iajs-3938	104	14	gα	gα	ADP
iajs-3938	104	15	∗∗	∗∗	PROPN
iajs-3938	105	1	-𝑜	-𝑜	PUNCT
iajs-3938	105	2	f	f	X
iajs-3938	105	3	since	since	SCONJ
iajs-3938	105	4	ᶂ	ᶂ	PRON
iajs-3938	105	5	i𝑠	i𝑠	VERB
iajs-3938	105	6	a	a	DET
iajs-3938	105	7	gα	gα	NOUN
iajs-3938	105	8	∗	∗	NOUN
iajs-3938	105	9	-𝑜	-𝑜	PROPN
iajs-3938	105	10	f.	f.	PROPN
iajs-3938	105	11	(	(	PUNCT
iajs-3938	105	12	4	4	X
iajs-3938	105	13	)	)	PUNCT
iajs-3938	105	14	ᶂ	ᶂ	NOUN
iajs-3938	105	15	i𝑠	i𝑠	VERB
iajs-3938	105	16	gα	gα	ADP
iajs-3938	105	17	∗∗	∗∗	PROPN
iajs-3938	106	1	-𝑜	-𝑜	PUNCT
iajs-3938	106	2	f	f	X
iajs-3938	106	3	whenever	whenever	SCONJ
iajs-3938	106	4	ᶂ	ᶂ	X
iajs-3938	106	5	i𝑠	i𝑠	VERB
iajs-3938	106	6	an	an	DET
iajs-3938	106	7	o	o	PROPN
iajs-3938	106	8	-	-	PROPN
iajs-3938	106	9	f.	f.	ADJ
iajs-3938	106	10	proof	proof	NOUN
iajs-3938	106	11	.	.	PUNCT
iajs-3938	107	1	(	(	PUNCT
iajs-3938	107	2	1	1	X
iajs-3938	107	3	)	)	PUNCT
iajs-3938	107	4	suppose	suppose	VERB
iajs-3938	107	5	ς∈𝜏	ς∈𝜏	NOUN
iajs-3938	107	6	by	by	ADP
iajs-3938	107	7	(	(	PUNCT
iajs-3938	107	8	proposition	proposition	NOUN
iajs-3938	107	9	2.5	2.5	NUM
iajs-3938	107	10	(	(	PUNCT
iajs-3938	107	11	i	i	NOUN
iajs-3938	107	12	)	)	PUNCT
iajs-3938	107	13	)	)	PUNCT
iajs-3938	107	14	,	,	PUNCT
iajs-3938	107	15	ς	ς	PROPN
iajs-3938	107	16	∈gα	∈gα	PROPN
iajs-3938	107	17	∗	∗	NOUN
iajs-3938	107	18	(	(	PUNCT
iajs-3938	107	19	ϱ	ϱ	NOUN
iajs-3938	107	20	)	)	PUNCT
iajs-3938	107	21	.	.	PUNCT
iajs-3938	108	1	since	since	SCONJ
iajs-3938	108	2	ᶂ	ᶂ	NOUN
iajs-3938	108	3	is	be	AUX
iajs-3938	108	4	a	a	DET
iajs-3938	108	5	gα	gα	NOUN
iajs-3938	108	6	∗∗∗	∗∗∗	NUM
iajs-3938	108	7	-𝑜	-𝑜	PROPN
iajs-3938	108	8	f	f	X
iajs-3938	108	9	,	,	PUNCT
iajs-3938	108	10	ᶂ(ς	ᶂ(ς	PROPN
iajs-3938	108	11	)	)	PUNCT
iajs-3938	108	12	is	be	AUX
iajs-3938	108	13	an	an	DET
iajs-3938	108	14	open	open	ADJ
iajs-3938	108	15	set	set	NOUN
iajs-3938	108	16	(	(	PUNCT
iajs-3938	108	17	ϑ,𝜏′	ϑ,𝜏′	NOUN
iajs-3938	108	18	)	)	PUNCT
iajs-3938	108	19	.	.	PUNCT
iajs-3938	109	1	hence	hence	ADV
iajs-3938	109	2	,	,	PUNCT
iajs-3938	109	3	ᶂ	ᶂ	PROPN
iajs-3938	109	4	is	be	AUX
iajs-3938	109	5	an	an	DET
iajs-3938	109	6	o	o	NOUN
iajs-3938	109	7	-	-	PROPN
iajs-3938	109	8	f.	f.	PROPN
iajs-3938	109	9	(	(	PUNCT
iajs-3938	109	10	2	2	X
iajs-3938	109	11	)	)	PUNCT
iajs-3938	109	12	suppose	suppose	VERB
iajs-3938	109	13	u∈gα	u∈gα	ADJ
iajs-3938	109	14	∗	∗	NOUN
iajs-3938	109	15	o(ϱ	o(ϱ	PROPN
iajs-3938	109	16	)	)	PUNCT
iajs-3938	109	17	since	since	SCONJ
iajs-3938	109	18	ᶂ	ᶂ	NOUN
iajs-3938	109	19	is	be	AUX
iajs-3938	109	20	a	a	DET
iajs-3938	109	21	gα	gα	NOUN
iajs-3938	109	22	∗∗	∗∗	PROPN
iajs-3938	110	1	-𝑜	-𝑜	PUNCT
iajs-3938	110	2	f	f	X
iajs-3938	110	3	then	then	ADV
iajs-3938	110	4	,	,	PUNCT
iajs-3938	110	5	ᶂ(u	ᶂ(u	PROPN
iajs-3938	110	6	)	)	PUNCT
iajs-3938	110	7	is	be	AUX
iajs-3938	110	8	an	an	DET
iajs-3938	110	9	open	open	ADJ
iajs-3938	110	10	set	set	NOUN
iajs-3938	110	11	in	in	ADP
iajs-3938	110	12	(	(	PUNCT
iajs-3938	110	13	ϑ,𝜏′	ϑ,𝜏′	NOUN
iajs-3938	110	14	)	)	PUNCT
iajs-3938	110	15	.	.	PUNCT
iajs-3938	111	1	by	by	ADP
iajs-3938	111	2	(	(	PUNCT
iajs-3938	111	3	proposition	proposition	NOUN
iajs-3938	111	4	2.5	2.5	NUM
iajs-3938	111	5	(	(	PUNCT
iajs-3938	111	6	i)),ᶂ(u)∈	i)),ᶂ(u)∈	ADP
iajs-3938	111	7	gα	gα	ADP
iajs-3938	111	8	∗	∗	NOUN
iajs-3938	111	9	o(ϱ	o(ϱ	PROPN
iajs-3938	111	10	)	)	PUNCT
iajs-3938	111	11	.	.	PUNCT
iajs-3938	112	1	hence	hence	ADV
iajs-3938	112	2	,	,	PUNCT
iajs-3938	112	3	ᶂ	ᶂ	PROPN
iajs-3938	112	4	is	be	AUX
iajs-3938	112	5	a	a	DET
iajs-3938	112	6	gα	gα	NOUN
iajs-3938	112	7	∗	∗	NOUN
iajs-3938	112	8	-𝑜	-𝑜	PROPN
iajs-3938	113	1	f.	f.	PROPN
iajs-3938	113	2	(	(	PUNCT
iajs-3938	113	3	3	3	X
iajs-3938	113	4	)	)	PUNCT
iajs-3938	113	5	let	let	VERB
iajs-3938	113	6	ς∈𝜏	ς∈𝜏	NOUN
iajs-3938	113	7	by	by	ADP
iajs-3938	113	8	(	(	PUNCT
iajs-3938	113	9	proposition	proposition	NOUN
iajs-3938	113	10	2.5	2.5	NUM
iajs-3938	113	11	(	(	PUNCT
iajs-3938	113	12	i	i	NOUN
iajs-3938	113	13	)	)	PUNCT
iajs-3938	113	14	)	)	PUNCT
iajs-3938	113	15	,	,	PUNCT
iajs-3938	113	16	ς	ς	PROPN
iajs-3938	113	17	∈	∈	PROPN
iajs-3938	113	18	gα	gα	ADP
iajs-3938	113	19	∗	∗	NOUN
iajs-3938	113	20	𝑜	𝑜	PROPN
iajs-3938	113	21	(	(	PUNCT
iajs-3938	113	22	ϱ	ϱ	NOUN
iajs-3938	113	23	)	)	PUNCT
iajs-3938	113	24	.	.	PUNCT
iajs-3938	114	1	since	since	SCONJ
iajs-3938	114	2	ᶂ	ᶂ	NOUN
iajs-3938	114	3	is	be	AUX
iajs-3938	114	4	a	a	DET
iajs-3938	114	5	gα	gα	NOUN
iajs-3938	114	6	∗	∗	NOUN
iajs-3938	115	1	-𝑜	-𝑜	PROPN
iajs-3938	116	1	f	f	X
iajs-3938	116	2	,	,	PUNCT
iajs-3938	116	3	then	then	ADV
iajs-3938	116	4	ᶂ(ς)∈	ᶂ(ς)∈	VERB
iajs-3938	116	5	gα	gα	ADP
iajs-3938	116	6	∗	∗	NOUN
iajs-3938	116	7	𝑜	𝑜	PROPN
iajs-3938	116	8	(	(	PUNCT
iajs-3938	116	9	ϑ).so	ϑ).so	PROPN
iajs-3938	116	10	ᶂ	ᶂ	NOUN
iajs-3938	116	11	is	be	AUX
iajs-3938	116	12	a	a	DET
iajs-3938	116	13	gα	gα	NOUN
iajs-3938	116	14	∗∗	∗∗	PROPN
iajs-3938	117	1	-𝑜	-𝑜	PUNCT
iajs-3938	117	2	f.	f.	PROPN
iajs-3938	117	3	(	(	PUNCT
iajs-3938	117	4	4	4	X
iajs-3938	117	5	)	)	PUNCT
iajs-3938	117	6	l𝑒t	l𝑒t	VERB
iajs-3938	117	7	ς	ς	PROPN
iajs-3938	117	8	∈𝜏	∈𝜏	PROPN
iajs-3938	117	9	and	and	CCONJ
iajs-3938	117	10	since	since	SCONJ
iajs-3938	117	11	ᶂ	ᶂ	NOUN
iajs-3938	117	12	is	be	AUX
iajs-3938	117	13	an	an	PRON
iajs-3938	117	14	of	of	ADP
iajs-3938	117	15	so	so	SCONJ
iajs-3938	117	16	that	that	SCONJ
iajs-3938	117	17	ᶂ(ς)∈𝜏′.	ᶂ(ς)∈𝜏′.	VERB
iajs-3938	117	18	by	by	ADP
iajs-3938	117	19	(	(	PUNCT
iajs-3938	117	20	proposition	proposition	NOUN
iajs-3938	117	21	2.5	2.5	NUM
iajs-3938	117	22	(	(	PUNCT
iajs-3938	117	23	i	i	NOUN
iajs-3938	117	24	)	)	PUNCT
iajs-3938	117	25	)	)	PUNCT
iajs-3938	117	26	,	,	PUNCT
iajs-3938	117	27	ς	ς	PROPN
iajs-3938	117	28	∈	∈	PROPN
iajs-3938	117	29	gα	gα	ADP
iajs-3938	117	30	∗	∗	NOUN
iajs-3938	117	31	(	(	PUNCT
iajs-3938	117	32	ϱ	ϱ	NOUN
iajs-3938	117	33	)	)	PUNCT
iajs-3938	117	34	.	.	PUNCT
iajs-3938	118	1	s𝑜	s𝑜	PROPN
iajs-3938	118	2	ᶂ	ᶂ	NOUN
iajs-3938	118	3	i𝑠	i𝑠	VERB
iajs-3938	118	4	a	a	DET
iajs-3938	118	5	gα	gα	NOUN
iajs-3938	118	6	∗∗	∗∗	PROPN
iajs-3938	119	1	-o	-o	X
iajs-3938	119	2	f.	f.	PROPN
iajs-3938	119	3	the	the	DET
iajs-3938	119	4	reverse	reverse	ADJ
iajs-3938	119	5	direction	direction	NOUN
iajs-3938	119	6	of	of	ADP
iajs-3938	119	7	(	(	PUNCT
iajs-3938	119	8	proposition	proposition	NOUN
iajs-3938	119	9	3.2	3.2	NUM
iajs-3938	119	10	)	)	PUNCT
iajs-3938	119	11	is	be	AUX
iajs-3938	119	12	not	not	PART
iajs-3938	119	13	true	true	ADJ
iajs-3938	119	14	in	in	ADP
iajs-3938	119	15	genera	genera	NOUN
iajs-3938	119	16	as	as	ADP
iajs-3938	119	17	the	the	DET
iajs-3938	119	18	examples	example	NOUN
iajs-3938	119	19	.	.	PUNCT
iajs-3938	120	1	example	example	NOUN
iajs-3938	120	2	3.3	3.3	NUM
iajs-3938	120	3	:	:	PUNCT
iajs-3938	120	4	let	let	VERB
iajs-3938	120	5	ϱ	ϱ	ADP
iajs-3938	120	6	=	=	VERB
iajs-3938	120	7	{	{	PUNCT
iajs-3938	120	8	ℒ1	ℒ1	PROPN
iajs-3938	120	9	,	,	PUNCT
iajs-3938	120	10	ℒ2	ℒ2	PROPN
iajs-3938	120	11	,	,	PUNCT
iajs-3938	120	12	ℒ3	ℒ3	VERB
iajs-3938	120	13	}	}	PUNCT
iajs-3938	120	14	,	,	PUNCT
iajs-3938	120	15	𝜏=	𝜏=	X
iajs-3938	120	16	{	{	PUNCT
iajs-3938	120	17	ϱ	ϱ	PROPN
iajs-3938	120	18	,	,	PUNCT
iajs-3938	120	19	𝜙	𝜙	PRON
iajs-3938	120	20	,	,	PUNCT
iajs-3938	120	21	{	{	PUNCT
iajs-3938	120	22	ℒ2}},₢=ƥ(ϱ)∖{ø	ℒ2}},₢=ƥ(ϱ)∖{ø	NOUN
iajs-3938	120	23	}	}	PUNCT
iajs-3938	120	24	,	,	PUNCT
iajs-3938	120	25	ᶂ	ᶂ	X
iajs-3938	120	26	:(	:(	X
iajs-3938	120	27	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	120	28	,	,	PUNCT
iajs-3938	120	29	g)→	g)→	PROPN
iajs-3938	120	30	(	(	PUNCT
iajs-3938	120	31	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	120	32	,	,	PUNCT
iajs-3938	120	33	g),ᶂ(ℒ)=	g),ᶂ(ℒ)=	PROPN
iajs-3938	120	34	ℒ	ℒ	PROPN
iajs-3938	120	35	,	,	PUNCT
iajs-3938	121	1	ℒ∈	ℒ∈	ADJ
iajs-3938	121	2	ϱ.	ϱ.	NOUN
iajs-3938	121	3	it	it	PRON
iajs-3938	121	4	i𝑠	i𝑠	VERB
iajs-3938	121	5	clear	clear	ADJ
iajs-3938	121	6	that	that	SCONJ
iajs-3938	121	7	ᶂ	ᶂ	NOUN
iajs-3938	121	8	is	be	AUX
iajs-3938	121	9	an	an	DET
iajs-3938	121	10	open	open	ADJ
iajs-3938	121	11	function	function	NOUN
iajs-3938	121	12	,	,	PUNCT
iajs-3938	121	13	gα	gα	ADP
iajs-3938	121	14	∗	∗	NOUN
iajs-3938	121	15	o(ϱ)=	o(ϱ)=	PROPN
iajs-3938	121	16	{	{	PUNCT
iajs-3938	121	17	ς	ς	PROPN
iajs-3938	121	18	⊆	⊆	NUM
iajs-3938	121	19	ϱ	ϱ	NOUN
iajs-3938	121	20	;	;	PUNCT
iajs-3938	121	21	ℒ2∈	ℒ2∈	VERB
iajs-3938	121	22	ς	ς	PROPN
iajs-3938	121	23	}	}	PUNCT
iajs-3938	121	24	∪{ø	∪{ø	PROPN
iajs-3938	121	25	}	}	PUNCT
iajs-3938	121	26	,	,	PUNCT
iajs-3938	121	27	there	there	PRON
iajs-3938	121	28	exist	exist	VERB
iajs-3938	121	29	{	{	PUNCT
iajs-3938	121	30	ℒ1	ℒ1	PROPN
iajs-3938	121	31	,	,	PUNCT
iajs-3938	121	32	ℒ2}∈gα	ℒ2}∈gα	PROPN
iajs-3938	121	33	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	121	34	)	)	PUNCT
iajs-3938	121	35	,	,	PUNCT
iajs-3938	121	36	ᶂ({ℒ1	ᶂ({ℒ1	NUM
iajs-3938	121	37	,	,	PUNCT
iajs-3938	121	38	ℒ2})∉𝜏.then	ℒ2})∉𝜏.then	CCONJ
iajs-3938	121	39	ᶂ	ᶂ	NOUN
iajs-3938	121	40	is	be	AUX
iajs-3938	121	41	not	not	PART
iajs-3938	121	42	gα	gα	ADV
iajs-3938	121	43	∗∗∗	∗∗∗	NUM
iajs-3938	121	44	-o	-o	PROPN
iajs-3938	121	45	f.	f.	PROPN
iajs-3938	121	46	example	example	NOUN
iajs-3938	121	47	3.4	3.4	NUM
iajs-3938	121	48	:	:	PUNCT
iajs-3938	121	49	let	let	VERB
iajs-3938	121	50	ϱ	ϱ	ADP
iajs-3938	121	51	=	=	VERB
iajs-3938	121	52	{	{	PUNCT
iajs-3938	121	53	ℒ1	ℒ1	PROPN
iajs-3938	121	54	,	,	PUNCT
iajs-3938	121	55	ℒ2	ℒ2	PROPN
iajs-3938	121	56	,	,	PUNCT
iajs-3938	121	57	ℒ3},𝜏=	ℒ3},𝜏=	PROPN
iajs-3938	121	58	{	{	PUNCT
iajs-3938	121	59	ϱ	ϱ	ADP
iajs-3938	121	60	,	,	PUNCT
iajs-3938	121	61	𝜙	𝜙	NOUN
iajs-3938	121	62	,	,	PUNCT
iajs-3938	121	63	{	{	PUNCT
iajs-3938	121	64	ℒ1	ℒ1	PROPN
iajs-3938	121	65	}	}	PUNCT
iajs-3938	121	66	,	,	PUNCT
iajs-3938	121	67	{	{	PUNCT
iajs-3938	121	68	ℒ1	ℒ1	PROPN
iajs-3938	121	69	,	,	PUNCT
iajs-3938	121	70	ℒ2}},₢={u⊆	ℒ2}},₢={u⊆	NOUN
iajs-3938	121	71	ϱ	ϱ	NOUN
iajs-3938	121	72	;	;	PUNCT
iajs-3938	121	73	ℒ3∈u	ℒ3∈u	NOUN
iajs-3938	121	74	}	}	PUNCT
iajs-3938	121	75	,	,	PUNCT
iajs-3938	121	76	τg	τg	NOUN
iajs-3938	121	77	=	=	SYM
iajs-3938	121	78	ƥ(ϱ	ƥ(ϱ	NUM
iajs-3938	121	79	)	)	PUNCT
iajs-3938	121	80	,	,	PUNCT
iajs-3938	121	81	gα	gα	ADP
iajs-3938	121	82	∗∗𝑜(ϱ)=	∗∗𝑜(ϱ)=	PROPN
iajs-3938	121	83	ƥ(ϱ	ƥ(ϱ	PROPN
iajs-3938	121	84	)	)	PUNCT
iajs-3938	121	85	,	,	PUNCT
iajs-3938	121	86	ᶂ	ᶂ	X
iajs-3938	121	87	:(	:(	X
iajs-3938	121	88	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	121	89	,	,	PUNCT
iajs-3938	121	90	g)→	g)→	PROPN
iajs-3938	121	91	(	(	PUNCT
iajs-3938	121	92	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	121	93	,	,	PUNCT
iajs-3938	121	94	g	g	NOUN
iajs-3938	121	95	)	)	PUNCT
iajs-3938	121	96	,	,	PUNCT
iajs-3938	121	97	ᶂ(ℒ1)=	ᶂ(ℒ1)=	PROPN
iajs-3938	121	98	{	{	PUNCT
iajs-3938	121	99	ℒ2	ℒ2	NOUN
iajs-3938	121	100	}	}	PUNCT
iajs-3938	121	101	,	,	PUNCT
iajs-3938	121	102	ᶂ(ℒ2)=	ᶂ(ℒ2)=	PROPN
iajs-3938	121	103	{	{	PUNCT
iajs-3938	121	104	ℒ1	ℒ1	PROPN
iajs-3938	121	105	}	}	PUNCT
iajs-3938	121	106	,	,	PUNCT
iajs-3938	121	107	ᶂ	ᶂ	X
iajs-3938	121	108	(	(	PUNCT
iajs-3938	121	109	ℒ3)=	ℒ3)=	X
iajs-3938	121	110	{	{	PUNCT
iajs-3938	121	111	ℒ3}.we	ℒ3}.we	NOUN
iajs-3938	121	112	observe	observe	VERB
iajs-3938	121	113	that	that	SCONJ
iajs-3938	121	114	the	the	DET
iajs-3938	121	115	function	function	NOUN
iajs-3938	121	116	is	be	AUX
iajs-3938	121	117	gα	gα	ADP
iajs-3938	121	118	∗	∗	NOUN
iajs-3938	121	119	-o	-o	PUNCT
iajs-3938	121	120	f	f	NOUN
iajs-3938	121	121	and	and	CCONJ
iajs-3938	121	122	gα	gα	ADP
iajs-3938	121	123	∗∗	∗∗	PROPN
iajs-3938	122	1	-o	-o	PUNCT
iajs-3938	122	2	f	f	NOUN
iajs-3938	123	1	but	but	CCONJ
iajs-3938	123	2	it	it	PRON
iajs-3938	123	3	is	be	AUX
iajs-3938	123	4	not	not	PART
iajs-3938	123	5	open	open	ADJ
iajs-3938	123	6	and	and	CCONJ
iajs-3938	123	7	not	not	PART
iajs-3938	123	8	gα	gα	ADP
iajs-3938	123	9	∗∗∗	∗∗∗	ADV
iajs-3938	123	10	-o	-o	X
iajs-3938	123	11	f	f	PROPN
iajs-3938	123	12	since	since	SCONJ
iajs-3938	123	13	ᶂ(ℒ1)=	ᶂ(ℒ1)=	NOUN
iajs-3938	123	14	{	{	PUNCT
iajs-3938	123	15	ℒ2}∉𝜏.	ℒ2}∉𝜏.	VERB
iajs-3938	123	16	example	example	NOUN
iajs-3938	123	17	3.5	3.5	NUM
iajs-3938	123	18	:	:	PUNCT
iajs-3938	123	19	let	let	VERB
iajs-3938	123	20	ᶂ	ᶂ	X
iajs-3938	123	21	:(	:(	PUNCT
iajs-3938	123	22	ϱ	ϱ	PROPN
iajs-3938	123	23	,	,	PUNCT
iajs-3938	123	24	τ	τ	PROPN
iajs-3938	123	25	,	,	PUNCT
iajs-3938	123	26	g)→	g)→	PROPN
iajs-3938	123	27	(	(	PUNCT
iajs-3938	123	28	ϱ	ϱ	PROPN
iajs-3938	123	29	,	,	PUNCT
iajs-3938	123	30	τ	τ	PROPN
iajs-3938	123	31	,	,	PUNCT
iajs-3938	123	32	g	g	NOUN
iajs-3938	123	33	)	)	PUNCT
iajs-3938	123	34	,	,	PUNCT
iajs-3938	123	35	ϱ	ϱ	PROPN
iajs-3938	123	36	=	=	ADJ
iajs-3938	123	37	{	{	PUNCT
iajs-3938	123	38	ℒ1	ℒ1	PROPN
iajs-3938	123	39	,	,	PUNCT
iajs-3938	123	40	ℒ2	ℒ2	PROPN
iajs-3938	123	41	,	,	PUNCT
iajs-3938	123	42	ℒ3	ℒ3	PROPN
iajs-3938	123	43	}	}	PUNCT
iajs-3938	123	44	,	,	PUNCT
iajs-3938	123	45	𝜏=	𝜏=	PRON
iajs-3938	123	46	{	{	PUNCT
iajs-3938	123	47	ϱ,𝜙	ϱ,𝜙	NOUN
iajs-3938	123	48	,	,	PUNCT
iajs-3938	123	49	{	{	PUNCT
iajs-3938	123	50	ℒ1	ℒ1	NOUN
iajs-3938	123	51	,	,	PUNCT
iajs-3938	123	52	ℒ2}},g	ℒ2}},g	NOUN
iajs-3938	123	53	=	=	SYM
iajs-3938	123	54	ƥ	ƥ	PROPN
iajs-3938	123	55	(	(	PUNCT
iajs-3938	123	56	ϱ)∖{{ø}∪	ϱ)∖{{ø}∪	PROPN
iajs-3938	123	57	{	{	PUNCT
iajs-3938	123	58	ℒ1	ℒ1	PROPN
iajs-3938	123	59	}	}	PUNCT
iajs-3938	123	60	}	}	PUNCT
iajs-3938	123	61	,	,	PUNCT
iajs-3938	123	62	ᶂ(ℒ2)=	ᶂ(ℒ2)=	PROPN
iajs-3938	123	63	{	{	PUNCT
iajs-3938	123	64	ℒ3	ℒ3	NOUN
iajs-3938	123	65	}	}	PUNCT
iajs-3938	123	66	,	,	PUNCT
iajs-3938	123	67	ᶂ(ℒ1)=	ᶂ(ℒ1)=	PROPN
iajs-3938	123	68	{	{	PUNCT
iajs-3938	123	69	ℒ2	ℒ2	NOUN
iajs-3938	123	70	}	}	PUNCT
iajs-3938	123	71	,	,	PUNCT
iajs-3938	123	72	ᶂ(ℒ3)=	ᶂ(ℒ3)=	PROPN
iajs-3938	123	73	{	{	PUNCT
iajs-3938	123	74	ℒ1	ℒ1	PROPN
iajs-3938	123	75	}	}	PUNCT
iajs-3938	123	76	,	,	PUNCT
iajs-3938	123	77	τg	τg	PROPN
iajs-3938	124	1	=	=	NOUN
iajs-3938	124	2	{	{	PUNCT
iajs-3938	124	3	ϱ	ϱ	PROPN
iajs-3938	124	4	,	,	PUNCT
iajs-3938	124	5	𝜙	𝜙	PRON
iajs-3938	124	6	,	,	PUNCT
iajs-3938	124	7	{	{	PUNCT
iajs-3938	124	8	ℒ1	ℒ1	PROPN
iajs-3938	124	9	,	,	PUNCT
iajs-3938	124	10	ℒ2	ℒ2	PROPN
iajs-3938	124	11	}	}	PUNCT
iajs-3938	124	12	,	,	PUNCT
iajs-3938	124	13	{	{	PUNCT
iajs-3938	124	14	ℒ2	ℒ2	NOUN
iajs-3938	124	15	,	,	PUNCT
iajs-3938	124	16	ℒ3	ℒ3	PROPN
iajs-3938	124	17	}	}	PUNCT
iajs-3938	124	18	,	,	PUNCT
iajs-3938	124	19	{	{	PUNCT
iajs-3938	124	20	ℒ2	ℒ2	NOUN
iajs-3938	124	21	}	}	PUNCT
iajs-3938	124	22	}	}	PUNCT
iajs-3938	124	23	,	,	PUNCT
iajs-3938	124	24	gα	gα	ADP
iajs-3938	124	25	∗𝑜	∗𝑜	NOUN
iajs-3938	124	26	(	(	PUNCT
iajs-3938	124	27	ϱ)=	ϱ)=	PROPN
iajs-3938	124	28	{	{	SYM
iajs-3938	124	29	ϱ	ϱ	NOUN
iajs-3938	124	30	,	,	PUNCT
iajs-3938	124	31	𝜙	𝜙	X
iajs-3938	124	32	,	,	PUNCT
iajs-3938	124	33	{	{	PUNCT
iajs-3938	124	34	ℒ1	ℒ1	NOUN
iajs-3938	124	35	,	,	PUNCT
iajs-3938	124	36	ℒ2},{ℒ2	ℒ2},{ℒ2	VERB
iajs-3938	124	37	,	,	PUNCT
iajs-3938	124	38	ℒ3},{ℒ2},{ℒ1	ℒ3},{ℒ2},{ℒ1	NOUN
iajs-3938	124	39	}	}	PUNCT
iajs-3938	124	40	}	}	PUNCT
iajs-3938	124	41	.	.	PUNCT
iajs-3938	125	1	ᶂ	ᶂ	NOUN
iajs-3938	125	2	is	be	AUX
iajs-3938	125	3	a	a	DET
iajs-3938	125	4	gα	gα	NOUN
iajs-3938	125	5	∗∗	∗∗	PROPN
iajs-3938	125	6	of	of	ADP
iajs-3938	125	7	but	but	CCONJ
iajs-3938	125	8	ᶂ	ᶂ	NOUN
iajs-3938	125	9	is	be	AUX
iajs-3938	125	10	not	not	PART
iajs-3938	125	11	gα	gα	ADP
iajs-3938	125	12	∗	∗	NOUN
iajs-3938	125	13	o	o	X
iajs-3938	125	14	f	f	PROPN
iajs-3938	125	15	since	since	SCONJ
iajs-3938	125	16	there	there	PRON
iajs-3938	125	17	𝑒xists	𝑒xist	VERB
iajs-3938	125	18	{	{	PUNCT
iajs-3938	125	19	ℒ2	ℒ2	PROPN
iajs-3938	125	20	,	,	PUNCT
iajs-3938	125	21	ℒ3}∈gα	ℒ3}∈gα	PROPN
iajs-3938	125	22	𝑜	𝑜	PRON
iajs-3938	125	23	(	(	PUNCT
iajs-3938	125	24	ϱ	ϱ	NOUN
iajs-3938	125	25	)	)	PUNCT
iajs-3938	125	26	,	,	PUNCT
iajs-3938	125	27	but	but	CCONJ
iajs-3938	125	28	,	,	PUNCT
iajs-3938	125	29	ᶂ({ℒ2	ᶂ({ℒ2	PROPN
iajs-3938	125	30	,	,	PUNCT
iajs-3938	125	31	ℒ3})={ℒ1	ℒ3})={ℒ1	NOUN
iajs-3938	125	32	,	,	PUNCT
iajs-3938	125	33	ℒ3}∉gα	ℒ3}∉gα	NOUN
iajs-3938	125	34	𝑜	𝑜	PROPN
iajs-3938	125	35	(	(	PUNCT
iajs-3938	125	36	ϱ	ϱ	NOUN
iajs-3938	125	37	)	)	PUNCT
iajs-3938	125	38	,	,	PUNCT
iajs-3938	125	39	and	and	CCONJ
iajs-3938	125	40	its	its	PRON
iajs-3938	125	41	not	not	PART
iajs-3938	125	42	gα	gα	ADP
iajs-3938	125	43	∗∗	∗∗	PROPN
iajs-3938	125	44	o	o	X
iajs-3938	125	45	f	f	NOUN
iajs-3938	125	46	since	since	SCONJ
iajs-3938	125	47	there	there	PRON
iajs-3938	125	48	exists	exist	VERB
iajs-3938	125	49	{	{	PUNCT
iajs-3938	125	50	ℒ2}∈gα	ℒ2}∈gα	PROPN
iajs-3938	125	51	𝑜	𝑜	PROPN
iajs-3938	125	52	(	(	PUNCT
iajs-3938	125	53	ϱ	ϱ	NOUN
iajs-3938	125	54	)	)	PUNCT
iajs-3938	125	55	but	but	CCONJ
iajs-3938	125	56	ᶂ{ℒ2}={ℒ3}∉	ᶂ{ℒ2}={ℒ3}∉	INTJ
iajs-3938	125	57	τ	τ	X
iajs-3938	125	58	.	.	PUNCT
iajs-3938	125	59	figure	figure	NOUN
iajs-3938	125	60	1	1	NUM
iajs-3938	125	61	.	.	PUNCT
iajs-3938	125	62	functions	function	NOUN
iajs-3938	125	63	𝑣ia	𝑣ia	VERB
iajs-3938	125	64	gα	gα	ADP
iajs-3938	125	65	∗-o	∗-o	PROPN
iajs-3938	125	66	f	f	PROPN
iajs-3938	125	67	definition	definition	NOUN
iajs-3938	125	68	3.6	3.6	NUM
iajs-3938	125	69	:	:	PUNCT
iajs-3938	125	70	suppose	suppose	VERB
iajs-3938	125	71	ᶂ	ᶂ	X
iajs-3938	125	72	:(	:(	X
iajs-3938	125	73	ϱ,τ	ϱ,τ	NOUN
iajs-3938	125	74	,	,	PUNCT
iajs-3938	125	75	g)→	g)→	X
iajs-3938	125	76	(	(	PUNCT
iajs-3938	125	77	ϑ,𝜏′,g′	ϑ,𝜏′,g′	NOUN
iajs-3938	125	78	)	)	PUNCT
iajs-3938	125	79	is	be	AUX
iajs-3938	125	80	a	a	DET
iajs-3938	125	81	function	function	NOUN
iajs-3938	125	82	then	then	ADV
iajs-3938	125	83	:	:	PUNCT
iajs-3938	125	84	(	(	PUNCT
iajs-3938	125	85	1	1	X
iajs-3938	125	86	)	)	PUNCT
iajs-3938	125	87	gα	gα	ADP
iajs-3938	125	88	∗	∗	NOUN
iajs-3938	125	89	-𝑐𝑙𝑜𝑠𝑒𝑑	-𝑐𝑙𝑜𝑠𝑒𝑑	ADJ
iajs-3938	125	90	function	function	NOUN
iajs-3938	125	91	,	,	PUNCT
iajs-3938	125	92	denoted	denote	VERB
iajs-3938	125	93	by	by	ADP
iajs-3938	125	94	"	"	PUNCT
iajs-3938	125	95	gα	gα	ADP
iajs-3938	125	96	∗	∗	NOUN
iajs-3938	125	97	-𝑐	-𝑐	X
iajs-3938	125	98	f	f	X
iajs-3938	125	99	"	"	PUNCT
iajs-3938	125	100	if	if	SCONJ
iajs-3938	125	101	ᶂ(ς)∈	ᶂ(ς)∈	VERB
iajs-3938	125	102	gα	gα	ADP
iajs-3938	125	103	∗	∗	NOUN
iajs-3938	125	104	c(ϑ	c(ϑ	NOUN
iajs-3938	125	105	)	)	PUNCT
iajs-3938	125	106	since	since	SCONJ
iajs-3938	125	107	ς	ς	PROPN
iajs-3938	125	108	∈gα	∈gα	NOUN
iajs-3938	125	109	∗	∗	NOUN
iajs-3938	125	110	c(ϱ	c(ϱ	PROPN
iajs-3938	125	111	)	)	PUNCT
iajs-3938	125	112	.	.	PUNCT
iajs-3938	126	1	(	(	PUNCT
iajs-3938	126	2	2	2	X
iajs-3938	126	3	)	)	PUNCT
iajs-3938	126	4	gα	gα	ADP
iajs-3938	126	5	∗∗𝑐𝑙𝑜𝑠𝑒𝑑	∗∗𝑐𝑙𝑜𝑠𝑒𝑑	PROPN
iajs-3938	126	6	function	function	NOUN
iajs-3938	126	7	,	,	PUNCT
iajs-3938	126	8	denoted	denote	VERB
iajs-3938	126	9	by	by	ADP
iajs-3938	126	10	"	"	PUNCT
iajs-3938	126	11	gα	gα	ADP
iajs-3938	126	12	∗∗	∗∗	PROPN
iajs-3938	126	13	-𝑐	-𝑐	PROPN
iajs-3938	126	14	f	f	X
iajs-3938	126	15	"	"	PUNCT
iajs-3938	126	16	if	if	SCONJ
iajs-3938	126	17	ᶂ(u)∈	ᶂ(u)∈	ADV
iajs-3938	126	18	gα	gα	ADP
iajs-3938	126	19	∗𝑐(ϑ	∗𝑐(ϑ	NOUN
iajs-3938	126	20	)	)	PUNCT
iajs-3938	126	21	since	since	SCONJ
iajs-3938	126	22	ς	ς	PROPN
iajs-3938	126	23	is	be	AUX
iajs-3938	126	24	a	a	DET
iajs-3938	126	25	closed	closed	ADJ
iajs-3938	126	26	set	set	NOUN
iajs-3938	126	27	in	in	ADP
iajs-3938	126	28	(	(	PUNCT
iajs-3938	126	29	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	126	30	)	)	PUNCT
iajs-3938	126	31	.	.	PUNCT
iajs-3938	127	1	(	(	PUNCT
iajs-3938	127	2	3	3	X
iajs-3938	127	3	)	)	PUNCT
iajs-3938	127	4	gα	gα	SCONJ
iajs-3938	127	5	∗∗∗	∗∗∗	NUM
iajs-3938	127	6	-c	-c	NUM
iajs-3938	127	7	f	f	X
iajs-3938	127	8	,	,	PUNCT
iajs-3938	127	9	denoted	denote	VERB
iajs-3938	127	10	by	by	ADP
iajs-3938	127	11	"	"	PUNCT
iajs-3938	127	12	gα	gα	ADP
iajs-3938	127	13	∗∗∗	∗∗∗	NUM
iajs-3938	127	14	-𝑐	-𝑐	PROPN
iajs-3938	127	15	f	f	X
iajs-3938	127	16	"	"	PUNCT
iajs-3938	127	17	if	if	SCONJ
iajs-3938	127	18	ᶂ(ς	ᶂ(ς	PROPN
iajs-3938	127	19	)	)	PUNCT
iajs-3938	127	20	is	be	AUX
iajs-3938	127	21	a	a	DET
iajs-3938	127	22	closed	closed	ADJ
iajs-3938	127	23	s𝑒t	s𝑒t	NOUN
iajs-3938	127	24	in	in	ADP
iajs-3938	127	25	(	(	PUNCT
iajs-3938	127	26	ϑ,𝜏′	ϑ,𝜏′	NOUN
iajs-3938	127	27	)	)	PUNCT
iajs-3938	127	28	since	since	SCONJ
iajs-3938	127	29	ς	ς	PROPN
iajs-3938	127	30	∈gα	∈gα	PROPN
iajs-3938	127	31	∗𝑐(ϱ	∗𝑐(ϱ	PROPN
iajs-3938	127	32	)	)	PUNCT
iajs-3938	127	33	.	.	PUNCT
iajs-3938	128	1	proposition	proposition	NOUN
iajs-3938	128	2	3.7	3.7	NUM
iajs-3938	128	3	:	:	PUNCT
iajs-3938	128	4	suppose	suppose	VERB
iajs-3938	128	5	that	that	SCONJ
iajs-3938	128	6	ᶂ	ᶂ	X
iajs-3938	128	7	:(	:(	X
iajs-3938	128	8	ϱ,τ	ϱ,τ	NOUN
iajs-3938	128	9	,	,	PUNCT
iajs-3938	128	10	g)→	g)→	X
iajs-3938	128	11	(	(	PUNCT
iajs-3938	128	12	ϑ,𝜏′,g′	ϑ,𝜏′,g′	NOUN
iajs-3938	128	13	)	)	PUNCT
iajs-3938	128	14	is	be	AUX
iajs-3938	128	15	a	a	DET
iajs-3938	128	16	function	function	NOUN
iajs-3938	128	17	(	(	PUNCT
iajs-3938	128	18	1	1	X
iajs-3938	128	19	)	)	PUNCT
iajs-3938	128	20	ᶂ	ᶂ	NOUN
iajs-3938	128	21	i𝑠	i𝑠	VERB
iajs-3938	128	22	a	a	DET
iajs-3938	128	23	c	c	NOUN
iajs-3938	128	24	-	-	PUNCT
iajs-3938	128	25	f	f	NOUN
iajs-3938	128	26	since	since	SCONJ
iajs-3938	128	27	ᶂ	ᶂ	PRON
iajs-3938	128	28	i𝑠	i𝑠	VERB
iajs-3938	128	29	a	a	DET
iajs-3938	128	30	gα	gα	NOUN
iajs-3938	128	31	∗∗∗	∗∗∗	NUM
iajs-3938	128	32	-𝑐	-𝑐	PROPN
iajs-3938	128	33	f.	f.	PROPN
iajs-3938	128	34	𝐆𝛂	𝐆𝛂	PROPN
iajs-3938	128	35	∗-o	∗-o	NOUN
iajs-3938	128	36	function	function	VERB
iajs-3938	128	37	𝑮𝜶	𝑮𝜶	PROPN
iajs-3938	128	38	∗∗-o	∗∗-o	ADJ
iajs-3938	128	39	function	function	NOUN
iajs-3938	128	40	𝑮𝜶	𝑮𝜶	PROPN
iajs-3938	128	41	∗∗∗-o	∗∗∗-o	NOUN
iajs-3938	128	42	function	function	VERB
iajs-3938	128	43	open	open	ADJ
iajs-3938	128	44	function	function	NOUN
iajs-3938	128	45	ihjpas	ihjpa	NOUN
iajs-3938	128	46	.	.	PUNCT
iajs-3938	129	1	2025,38(2	2025,38(2	PROPN
iajs-3938	129	2	)	)	PUNCT
iajs-3938	130	1	422	422	NUM
iajs-3938	130	2	(	(	PUNCT
iajs-3938	130	3	2	2	X
iajs-3938	130	4	)	)	PUNCT
iajs-3938	130	5	ᶂ	ᶂ	NOUN
iajs-3938	130	6	i𝑠	i𝑠	VERB
iajs-3938	130	7	gα	gα	ADP
iajs-3938	130	8	∗	∗	NOUN
iajs-3938	130	9	-𝑐	-𝑐	X
iajs-3938	130	10	f	f	NOUN
iajs-3938	130	11	since	since	SCONJ
iajs-3938	130	12	ᶂ	ᶂ	PRON
iajs-3938	130	13	i𝑠	i𝑠	VERB
iajs-3938	130	14	a	a	DET
iajs-3938	130	15	gα	gα	NOUN
iajs-3938	130	16	∗∗∗	∗∗∗	NUM
iajs-3938	130	17	-𝑐	-𝑐	PROPN
iajs-3938	131	1	f.	f.	NOUN
iajs-3938	132	1	(	(	PUNCT
iajs-3938	132	2	3	3	X
iajs-3938	132	3	)	)	PUNCT
iajs-3938	132	4	ᶂ	ᶂ	NOUN
iajs-3938	132	5	i𝑠	i𝑠	VERB
iajs-3938	132	6	gα	gα	ADP
iajs-3938	132	7	∗∗	∗∗	PROPN
iajs-3938	132	8	-𝑐	-𝑐	PUNCT
iajs-3938	132	9	f	f	PROPN
iajs-3938	132	10	since	since	SCONJ
iajs-3938	132	11	ᶂ	ᶂ	PRON
iajs-3938	132	12	i𝑠	i𝑠	VERB
iajs-3938	132	13	a	a	DET
iajs-3938	132	14	gα	gα	NOUN
iajs-3938	132	15	∗	∗	NOUN
iajs-3938	132	16	-𝑐	-𝑐	PROPN
iajs-3938	133	1	f.	f.	NOUN
iajs-3938	134	1	(	(	PUNCT
iajs-3938	134	2	4	4	X
iajs-3938	134	3	)	)	PUNCT
iajs-3938	134	4	ᶂ	ᶂ	NOUN
iajs-3938	134	5	i𝑠	i𝑠	VERB
iajs-3938	134	6	gα	gα	ADP
iajs-3938	134	7	∗∗	∗∗	PROPN
iajs-3938	134	8	-𝑐	-𝑐	PUNCT
iajs-3938	134	9	f	f	PROPN
iajs-3938	134	10	since	since	SCONJ
iajs-3938	134	11	ᶂ	ᶂ	PRON
iajs-3938	134	12	i𝑠	i𝑠	VERB
iajs-3938	134	13	a	a	DET
iajs-3938	134	14	cf	cf	NOUN
iajs-3938	134	15	.	.	PUNCT
iajs-3938	135	1	proof	proof	NOUN
iajs-3938	135	2	by	by	ADP
iajs-3938	135	3	the	the	DET
iajs-3938	135	4	some	some	DET
iajs-3938	135	5	way	way	NOUN
iajs-3938	135	6	of	of	ADP
iajs-3938	135	7	proposition	proposition	NOUN
iajs-3938	135	8	3.2	3.2	NUM
iajs-3938	135	9	the	the	DET
iajs-3938	135	10	proof	proof	NOUN
iajs-3938	135	11	has	have	AUX
iajs-3938	135	12	been	be	AUX
iajs-3938	135	13	c𝑜mpleted	c𝑜mplete	VERB
iajs-3938	135	14	.	.	PUNCT
iajs-3938	136	1	the	the	DET
iajs-3938	136	2	reverse	reverse	ADJ
iajs-3938	136	3	direction	direction	NOUN
iajs-3938	136	4	of	of	ADP
iajs-3938	136	5	this	this	DET
iajs-3938	136	6	proposition	proposition	NOUN
iajs-3938	136	7	is	be	AUX
iajs-3938	136	8	not	not	PART
iajs-3938	136	9	true	true	ADJ
iajs-3938	136	10	.	.	PUNCT
iajs-3938	137	1	see	see	VERB
iajs-3938	137	2	(	(	PUNCT
iajs-3938	137	3	example	example	NOUN
iajs-3938	137	4	3.3	3.3	NUM
iajs-3938	137	5	)	)	PUNCT
iajs-3938	137	6	(	(	PUNCT
iajs-3938	137	7	example	example	NOUN
iajs-3938	137	8	3.4	3.4	NUM
iajs-3938	137	9	)	)	PUNCT
iajs-3938	137	10	and	and	CCONJ
iajs-3938	137	11	(	(	PUNCT
iajs-3938	137	12	example	example	NOUN
iajs-3938	137	13	3.5	3.5	NUM
iajs-3938	137	14	)	)	PUNCT
iajs-3938	137	15	.	.	PUNCT
iajs-3938	138	1	remark	remark	VERB
iajs-3938	138	2	3.8	3.8	NUM
iajs-3938	138	3	:	:	PUNCT
iajs-3938	138	4	if	if	SCONJ
iajs-3938	138	5	ᶂ	ᶂ	PRON
iajs-3938	138	6	i𝑠	i𝑠	VERB
iajs-3938	138	7	onto	onto	ADP
iajs-3938	138	8	function	function	NOUN
iajs-3938	138	9	then	then	ADV
iajs-3938	138	10	:	:	PUNCT
iajs-3938	138	11	(	(	PUNCT
iajs-3938	138	12	1	1	X
iajs-3938	138	13	)	)	PUNCT
iajs-3938	138	14	gα	gα	ADP
iajs-3938	138	15	∗	∗	NOUN
iajs-3938	138	16	-c	-c	PUNCT
iajs-3938	139	1	f	f	X
iajs-3938	139	2	,	,	PUNCT
iajs-3938	139	3	gα	gα	ADP
iajs-3938	139	4	∗	∗	NOUN
iajs-3938	139	5	-o	-o	INTJ
iajs-3938	139	6	f	f	PROPN
iajs-3938	139	7	are	be	AUX
iajs-3938	139	8	equivalents	equivalent	NOUN
iajs-3938	139	9	.	.	PUNCT
iajs-3938	140	1	(	(	PUNCT
iajs-3938	140	2	2	2	X
iajs-3938	140	3	)	)	PUNCT
iajs-3938	140	4	gα	gα	ADP
iajs-3938	140	5	∗∗	∗∗	PROPN
iajs-3938	140	6	-c	-c	PUNCT
iajs-3938	140	7	f	f	X
iajs-3938	140	8	,	,	PUNCT
iajs-3938	140	9	gα	gα	ADP
iajs-3938	140	10	∗∗	∗∗	PROPN
iajs-3938	140	11	-o	-o	INTJ
iajs-3938	140	12	f	f	PROPN
iajs-3938	140	13	are	be	AUX
iajs-3938	140	14	equivalents	equivalent	NOUN
iajs-3938	140	15	.	.	PUNCT
iajs-3938	141	1	(	(	PUNCT
iajs-3938	141	2	3	3	X
iajs-3938	141	3	)	)	PUNCT
iajs-3938	141	4	gα	gα	ADP
iajs-3938	141	5	∗∗∗	∗∗∗	NUM
iajs-3938	141	6	-c	-c	X
iajs-3938	141	7	f	f	X
iajs-3938	141	8	,	,	PUNCT
iajs-3938	141	9	gα	gα	ADP
iajs-3938	141	10	∗∗∗	∗∗∗	ADV
iajs-3938	141	11	-o	-o	X
iajs-3938	141	12	f	f	PROPN
iajs-3938	141	13	are	be	AUX
iajs-3938	141	14	equivalents	equivalent	NOUN
iajs-3938	141	15	.	.	PUNCT
iajs-3938	142	1	figure	figure	NOUN
iajs-3938	142	2	2	2	NUM
iajs-3938	142	3	.	.	PUNCT
iajs-3938	142	4	functions	function	NOUN
iajs-3938	142	5	𝑣ia	𝑣ia	VERB
iajs-3938	142	6	gα	gα	ADP
iajs-3938	142	7	∗-c	∗-c	ADJ
iajs-3938	142	8	function	function	VERB
iajs-3938	142	9	4.some	4.some	NUM
iajs-3938	142	10	kinds	kind	NOUN
iajs-3938	142	11	of	of	ADP
iajs-3938	142	12	𝐆𝛂	𝐆𝛂	PROPN
iajs-3938	142	13	∗	∗	VERB
iajs-3938	142	14	continuous	continuous	ADJ
iajs-3938	142	15	functions	function	NOUN
iajs-3938	142	16	.	.	PUNCT
iajs-3938	143	1	definition	definition	NOUN
iajs-3938	143	2	4.1	4.1	NUM
iajs-3938	143	3	:	:	PUNCT
iajs-3938	143	4	suppose	suppose	VERB
iajs-3938	143	5	ᶂ∶	ᶂ∶	NOUN
iajs-3938	143	6	(	(	PUNCT
iajs-3938	143	7	ϱ,τ	ϱ,τ	NOUN
iajs-3938	143	8	,	,	PUNCT
iajs-3938	143	9	g)→	g)→	X
iajs-3938	143	10	(	(	PUNCT
iajs-3938	143	11	ϑ	ϑ	X
iajs-3938	143	12	,	,	PUNCT
iajs-3938	143	13	𝜏′,g′	𝜏′,g′	NOUN
iajs-3938	143	14	)	)	PUNCT
iajs-3938	143	15	is	be	AUX
iajs-3938	143	16	a	a	DET
iajs-3938	143	17	function	function	NOUN
iajs-3938	143	18	then	then	ADV
iajs-3938	143	19	ᶂ	ᶂ	NOUN
iajs-3938	143	20	is	be	AUX
iajs-3938	143	21	said	say	VERB
iajs-3938	143	22	to	to	PART
iajs-3938	143	23	be	be	AUX
iajs-3938	143	24	1	1	NUM
iajs-3938	143	25	.	.	PUNCT
iajs-3938	144	1	gα	gα	ADP
iajs-3938	144	2	∗	∗	NOUN
iajs-3938	144	3	cont	cont	NOUN
iajs-3938	144	4	function	function	NOUN
iajs-3938	144	5	,	,	PUNCT
iajs-3938	144	6	denoted	denote	VERB
iajs-3938	144	7	by	by	ADP
iajs-3938	144	8	"	"	PUNCT
iajs-3938	144	9	gα	gα	ADP
iajs-3938	144	10	∗	∗	NOUN
iajs-3938	144	11	-cont	-cont	NOUN
iajs-3938	144	12	f	f	NOUN
iajs-3938	144	13	"	"	PUNCT
iajs-3938	144	14	𝑖𝑓	𝑖𝑓	ADV
iajs-3938	144	15	ᶂ−1(ς)∈	ᶂ−1(ς)∈	ADV
iajs-3938	144	16	gα	gα	ADP
iajs-3938	144	17	∗	∗	NOUN
iajs-3938	144	18	o(ϱ	o(ϱ	PROPN
iajs-3938	144	19	)	)	PUNCT
iajs-3938	144	20	for	for	ADP
iajs-3938	144	21	each	each	DET
iajs-3938	144	22	ς	ς	PROPN
iajs-3938	144	23	∈	∈	PROPN
iajs-3938	144	24	𝜏′.	𝜏′.	NOUN
iajs-3938	144	25	2	2	NUM
iajs-3938	144	26	.	.	PUNCT
iajs-3938	144	27	strongly	strongly	ADV
iajs-3938	144	28	gα	gα	ADP
iajs-3938	144	29	∗	∗	NOUN
iajs-3938	144	30	-continuou𝑠	-continuou𝑠	NOUN
iajs-3938	144	31	functio𝑛	functio𝑛	PROPN
iajs-3938	144	32	,	,	PUNCT
iajs-3938	144	33	denoted	denote	VERB
iajs-3938	144	34	by	by	ADP
iajs-3938	144	35	“	"	PUNCT
iajs-3938	144	36	s	s	NOUN
iajs-3938	144	37	gα	gα	NOUN
iajs-3938	144	38	∗	∗	NOUN
iajs-3938	144	39	-cont	-cont	PROPN
iajs-3938	144	40	f	f	PROPN
iajs-3938	144	41	”	"	PUNCT
iajs-3938	144	42	𝑖𝑓	𝑖𝑓	CCONJ
iajs-3938	144	43	ᶂ−1	ᶂ−1	PROPN
iajs-3938	144	44	(	(	PUNCT
iajs-3938	144	45	ς)∈𝜏	ς)∈𝜏	NUM
iajs-3938	144	46	,	,	PUNCT
iajs-3938	144	47	for	for	SCONJ
iajs-3938	144	48	each	each	DET
iajs-3938	144	49	ς	ς	PROPN
iajs-3938	144	50	∈gα	∈gα	NOUN
iajs-3938	144	51	∗	∗	NOUN
iajs-3938	144	52	o(ϑ	o(ϑ	NOUN
iajs-3938	144	53	)	)	PUNCT
iajs-3938	144	54	.	.	PUNCT
iajs-3938	145	1	3	3	X
iajs-3938	145	2	.	.	X
iajs-3938	145	3	gα	gα	ADP
iajs-3938	145	4	∗	∗	NOUN
iajs-3938	145	5	-irresolute	-irresolute	PROPN
iajs-3938	145	6	function	function	NOUN
iajs-3938	145	7	,	,	PUNCT
iajs-3938	145	8	denoted	denote	VERB
iajs-3938	145	9	by	by	ADP
iajs-3938	145	10	"	"	PUNCT
iajs-3938	145	11	gα	gα	ADP
iajs-3938	145	12	∗	∗	NOUN
iajs-3938	145	13	-irr	-irr	X
iajs-3938	145	14	f	f	NOUN
iajs-3938	145	15	"	"	PUNCT
iajs-3938	145	16	if	if	SCONJ
iajs-3938	145	17	ᶂ−1	ᶂ−1	PROPN
iajs-3938	145	18	(	(	PUNCT
iajs-3938	145	19	ς)∈	ς)∈	PROPN
iajs-3938	145	20	gα	gα	ADP
iajs-3938	145	21	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	145	22	)	)	PUNCT
iajs-3938	145	23	,	,	PUNCT
iajs-3938	145	24	for	for	ADP
iajs-3938	145	25	each	each	DET
iajs-3938	145	26	ς	ς	PROPN
iajs-3938	145	27	∈gα	∈gα	NOUN
iajs-3938	145	28	∗𝑜(y	∗𝑜(y	PROPN
iajs-3938	145	29	)	)	PUNCT
iajs-3938	145	30	.	.	PUNCT
iajs-3938	146	1	theorem	theorem	VERB
iajs-3938	146	2	4.2	4.2	NUM
iajs-3938	146	3	:	:	PUNCT
iajs-3938	146	4	suppose	suppose	VERB
iajs-3938	146	5	that	that	SCONJ
iajs-3938	146	6	ᶂ∶	ᶂ∶	NOUN
iajs-3938	146	7	(	(	PUNCT
iajs-3938	146	8	ϱ,τ	ϱ,τ	NOUN
iajs-3938	146	9	,	,	PUNCT
iajs-3938	146	10	g)→	g)→	X
iajs-3938	146	11	(	(	PUNCT
iajs-3938	146	12	ϑ,𝜏′,g′	ϑ,𝜏′,g′	NOUN
iajs-3938	146	13	)	)	PUNCT
iajs-3938	146	14	is	be	AUX
iajs-3938	146	15	a	a	DET
iajs-3938	146	16	function	function	NOUN
iajs-3938	146	17	denoted	denote	VERB
iajs-3938	146	18	that	that	SCONJ
iajs-3938	146	19	:	:	PUNCT
iajs-3938	146	20	1.ᶂ	1.ᶂ	NUM
iajs-3938	146	21	𝑖𝑠	𝑖𝑠	ADV
iajs-3938	146	22	gα	gα	ADP
iajs-3938	146	23	∗	∗	NOUN
iajs-3938	146	24	-irr	-irr	X
iajs-3938	146	25	f	f	PROPN
iajs-3938	146	26	whenever	whenever	SCONJ
iajs-3938	146	27	ᶂ	ᶂ	NOUN
iajs-3938	146	28	is	be	AUX
iajs-3938	146	29	a	a	DET
iajs-3938	146	30	s	s	NOUN
iajs-3938	146	31	gα	gα	NOUN
iajs-3938	146	32	∗	∗	NOUN
iajs-3938	146	33	-cont	-cont	NOUN
iajs-3938	146	34	f	f	NOUN
iajs-3938	146	35	2	2	NUM
iajs-3938	146	36	.	.	X
iajs-3938	147	1	ᶂ	ᶂ	NOUN
iajs-3938	147	2	is	be	AUX
iajs-3938	147	3	cont	cont	NOUN
iajs-3938	147	4	-	-	PUNCT
iajs-3938	147	5	f	f	NOUN
iajs-3938	147	6	whenever	whenever	SCONJ
iajs-3938	147	7	ᶂ	ᶂ	NOUN
iajs-3938	147	8	is	be	AUX
iajs-3938	147	9	a	a	DET
iajs-3938	147	10	s	s	NOUN
iajs-3938	147	11	gα	gα	NOUN
iajs-3938	147	12	∗	∗	NOUN
iajs-3938	147	13	-cont	-cont	PROPN
iajs-3938	147	14	f.	f.	NOUN
iajs-3938	147	15	3.ᶂ	3.ᶂ	NUM
iajs-3938	148	1	𝑖𝑠	𝑖𝑠	INTJ
iajs-3938	148	2	gα	gα	ADP
iajs-3938	148	3	∗	∗	NOUN
iajs-3938	148	4	-cont	-cont	PROPN
iajs-3938	148	5	-	-	PUNCT
iajs-3938	148	6	f	f	NOUN
iajs-3938	148	7	whenever	whenever	SCONJ
iajs-3938	148	8	ᶂ	ᶂ	NOUN
iajs-3938	148	9	is	be	AUX
iajs-3938	149	1	𝑎	𝑎	PROPN
iajs-3938	149	2	cont	cont	NOUN
iajs-3938	149	3	-	-	PUNCT
iajs-3938	149	4	f.	f.	PROPN
iajs-3938	149	5	4	4	NUM
iajs-3938	149	6	.	.	PUNCT
iajs-3938	150	1	ᶂ	ᶂ	PRON
iajs-3938	150	2	𝑖𝑠	𝑖𝑠	ADJ
iajs-3938	150	3	a	a	DET
iajs-3938	150	4	gα	gα	NOUN
iajs-3938	150	5	∗	∗	NOUN
iajs-3938	150	6	-cont	-cont	PROPN
iajs-3938	150	7	-	-	PUNCT
iajs-3938	150	8	f	f	NOUN
iajs-3938	150	9	whenever	whenever	SCONJ
iajs-3938	150	10	ᶂ	ᶂ	NOUN
iajs-3938	150	11	is	be	AUX
iajs-3938	150	12	a	a	DET
iajs-3938	150	13	gα	gα	NOUN
iajs-3938	150	14	∗	∗	NOUN
iajs-3938	150	15	-irr	-irr	PROPN
iajs-3938	150	16	f.	f.	PROPN
iajs-3938	150	17	proof	proof	NOUN
iajs-3938	150	18	.	.	PUNCT
iajs-3938	151	1	1	1	X
iajs-3938	151	2	.	.	X
iajs-3938	151	3	let	let	VERB
iajs-3938	151	4	ς	ς	PROPN
iajs-3938	151	5	∈	∈	PROPN
iajs-3938	151	6	gα	gα	ADP
iajs-3938	151	7	∗𝑜(ϑ	∗𝑜(ϑ	PROPN
iajs-3938	151	8	)	)	PUNCT
iajs-3938	151	9	since	since	SCONJ
iajs-3938	151	10	ᶂ	ᶂ	NOUN
iajs-3938	151	11	is	be	AUX
iajs-3938	151	12	a	a	DET
iajs-3938	151	13	s	s	NOUN
iajs-3938	151	14	gα	gα	NOUN
iajs-3938	151	15	∗	∗	NOUN
iajs-3938	151	16	-cont	-cont	NOUN
iajs-3938	151	17	f	f	NOUN
iajs-3938	151	18	,	,	PUNCT
iajs-3938	151	19	then	then	ADV
iajs-3938	151	20	ᶂ−1	ᶂ−1	PROPN
iajs-3938	151	21	(	(	PUNCT
iajs-3938	151	22	ς)∈𝜏	ς)∈𝜏	NUM
iajs-3938	151	23	𝑏𝑦	𝑏𝑦	NOUN
iajs-3938	151	24	(	(	PUNCT
iajs-3938	151	25	proposition	proposition	NOUN
iajs-3938	151	26	2.5(i	2.5(i	NUM
iajs-3938	151	27	)	)	PUNCT
iajs-3938	151	28	)	)	PUNCT
iajs-3938	152	1	ᶂ−1	ᶂ−1	PROPN
iajs-3938	152	2	(	(	PUNCT
iajs-3938	152	3	ς)∈	ς)∈	PROPN
iajs-3938	152	4	gα	gα	ADP
iajs-3938	152	5	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	152	6	)	)	PUNCT
iajs-3938	152	7	.	.	PUNCT
iajs-3938	153	1	this	this	PRON
iajs-3938	153	2	implies	imply	VERB
iajs-3938	153	3	ᶂ	ᶂ	NOUN
iajs-3938	153	4	is	be	AUX
iajs-3938	153	5	a	a	DET
iajs-3938	153	6	gα	gα	NOUN
iajs-3938	153	7	∗	∗	NOUN
iajs-3938	153	8	-irr	-irr	PROPN
iajs-3938	153	9	f.	f.	PROPN
iajs-3938	153	10	2	2	NUM
iajs-3938	153	11	.	.	PUNCT
iajs-3938	153	12	suppose	suppose	VERB
iajs-3938	153	13	that	that	SCONJ
iajs-3938	153	14	ς	ς	PROPN
iajs-3938	153	15	is	be	AUX
iajs-3938	153	16	an	an	DET
iajs-3938	153	17	open	open	ADJ
iajs-3938	153	18	set	set	NOUN
iajs-3938	153	19	in	in	ADP
iajs-3938	153	20	(	(	PUNCT
iajs-3938	153	21	ϑ	ϑ	X
iajs-3938	153	22	,	,	PUNCT
iajs-3938	153	23	𝜏′	𝜏′	NUM
iajs-3938	153	24	)	)	PUNCT
iajs-3938	153	25	.	.	PUNCT
iajs-3938	154	1	by	by	ADP
iajs-3938	154	2	(	(	PUNCT
iajs-3938	154	3	proposition	proposition	NOUN
iajs-3938	154	4	2.5(i	2.5(i	NUM
iajs-3938	154	5	)	)	PUNCT
iajs-3938	154	6	)	)	PUNCT
iajs-3938	154	7	,	,	PUNCT
iajs-3938	154	8	ς	ς	PROPN
iajs-3938	154	9	∈₢α𝑜(ϑ	∈₢α𝑜(ϑ	ADJ
iajs-3938	154	10	)	)	PUNCT
iajs-3938	154	11	𝑠𝑖𝑛𝑐𝑒	𝑠𝑖𝑛𝑐𝑒	PROPN
iajs-3938	154	12	ᶂ	ᶂ	PROPN
iajs-3938	154	13	is	be	AUX
iajs-3938	154	14	s	s	NOUN
iajs-3938	154	15	gα	gα	ADP
iajs-3938	154	16	∗	∗	NOUN
iajs-3938	154	17	-cont	-cont	PROPN
iajs-3938	154	18	f	f	NOUN
iajs-3938	154	19	,	,	PUNCT
iajs-3938	154	20	then	then	ADV
iajs-3938	154	21	ᶂ−1	ᶂ−1	PROPN
iajs-3938	154	22	(	(	PUNCT
iajs-3938	154	23	ς	ς	PROPN
iajs-3938	154	24	)	)	PUNCT
iajs-3938	154	25	𝑖𝑠	𝑖𝑠	NOUN
iajs-3938	155	1	𝑎𝑛	𝑎𝑛	PROPN
iajs-3938	155	2	o𝑝𝑒𝑛	o𝑝𝑒𝑛	NOUN
iajs-3938	155	3	𝑠𝑒𝑡	𝑠𝑒𝑡	NUM
iajs-3938	155	4	𝑖𝑛	𝑖𝑛	INTJ
iajs-3938	155	5	(	(	PUNCT
iajs-3938	155	6	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	155	7	)	)	PUNCT
iajs-3938	155	8	,	,	PUNCT
iajs-3938	155	9	implies	imply	VERB
iajs-3938	155	10	that	that	SCONJ
iajs-3938	155	11	ᶂ	ᶂ	NOUN
iajs-3938	155	12	is	be	AUX
iajs-3938	155	13	a	a	DET
iajs-3938	155	14	contf	contf	NOUN
iajs-3938	155	15	.	.	PUNCT
iajs-3938	156	1	3	3	X
iajs-3938	156	2	.	.	X
iajs-3938	156	3	let	let	VERB
iajs-3938	156	4	ς	ς	PROPN
iajs-3938	156	5	∈𝜏′	∈𝜏′	X
iajs-3938	156	6	since	since	SCONJ
iajs-3938	156	7	ᶂ	ᶂ	NOUN
iajs-3938	156	8	is	be	AUX
iajs-3938	156	9	a	a	DET
iajs-3938	156	10	contf	contf	NOUN
iajs-3938	156	11	then	then	ADV
iajs-3938	156	12	ᶂ−1	ᶂ−1	PROPN
iajs-3938	156	13	(	(	PUNCT
iajs-3938	156	14	ς	ς	NOUN
iajs-3938	156	15	)	)	PUNCT
iajs-3938	156	16	is	be	AUX
iajs-3938	156	17	an	an	DET
iajs-3938	156	18	open	open	ADJ
iajs-3938	156	19	set	set	NOUN
iajs-3938	156	20	in	in	ADP
iajs-3938	156	21	(	(	PUNCT
iajs-3938	156	22	ϱ,𝜏	ϱ,𝜏	NOUN
iajs-3938	156	23	)	)	PUNCT
iajs-3938	156	24	.	.	PUNCT
iajs-3938	157	1	by	by	ADP
iajs-3938	157	2	(	(	PUNCT
iajs-3938	157	3	proposition	proposition	NOUN
iajs-3938	157	4	2.5(i	2.5(i	NUM
iajs-3938	157	5	)	)	PUNCT
iajs-3938	157	6	)	)	PUNCT
iajs-3938	157	7	ᶂ−1	ᶂ−1	PROPN
iajs-3938	157	8	(	(	PUNCT
iajs-3938	157	9	ς)∈	ς)∈	PROPN
iajs-3938	157	10	gα	gα	ADP
iajs-3938	157	11	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	157	12	)	)	PUNCT
iajs-3938	157	13	𝑠𝑜	𝑠𝑜	ADP
iajs-3938	157	14	ᶂ	ᶂ	NOUN
iajs-3938	157	15	𝑖𝑠	𝑖𝑠	NOUN
iajs-3938	157	16	gα	gα	ADP
iajs-3938	157	17	∗	∗	NOUN
iajs-3938	157	18	−	−	PROPN
iajs-3938	157	19	cont	cont	PROPN
iajs-3938	157	20	f.	f.	PROPN
iajs-3938	157	21	4	4	NUM
iajs-3938	157	22	.	.	PUNCT
iajs-3938	158	1	let	let	VERB
iajs-3938	158	2	ς	ς	PROPN
iajs-3938	158	3	∈𝜏	∈𝜏	PROPN
iajs-3938	158	4	by	by	ADP
iajs-3938	158	5	(	(	PUNCT
iajs-3938	158	6	proposition	proposition	NOUN
iajs-3938	158	7	2.5	2.5	NUM
iajs-3938	158	8	(	(	PUNCT
iajs-3938	158	9	i	i	NOUN
iajs-3938	158	10	)	)	PUNCT
iajs-3938	158	11	)	)	PUNCT
iajs-3938	158	12	,	,	PUNCT
iajs-3938	158	13	ς	ς	PROPN
iajs-3938	158	14	∈gα	∈gα	PROPN
iajs-3938	158	15	∗𝑜(ϱ	∗𝑜(ϱ	PROPN
iajs-3938	158	16	)	)	PUNCT
iajs-3938	158	17	since	since	SCONJ
iajs-3938	158	18	ᶂ	ᶂ	NOUN
iajs-3938	158	19	is	be	AUX
iajs-3938	158	20	gα	gα	ADP
iajs-3938	158	21	∗	∗	NOUN
iajs-3938	158	22	-irr	-irr	PROPN
iajs-3938	159	1	f.	f.	PROPN
iajs-3938	160	1	then	then	ADV
iajs-3938	160	2	,	,	PUNCT
iajs-3938	160	3	ᶂ−1	ᶂ−1	PROPN
iajs-3938	160	4	(	(	PUNCT
iajs-3938	160	5	ς)∈	ς)∈	NOUN
iajs-3938	160	6	gα	gα	ADP
iajs-3938	160	7	∗	∗	NOUN
iajs-3938	160	8	𝑜(ϱ	𝑜(ϱ	NOUN
iajs-3938	160	9	)	)	PUNCT
iajs-3938	160	10	,	,	PUNCT
iajs-3938	160	11	𝑠𝑜	𝑠𝑜	INTJ
iajs-3938	160	12	ᶂ	ᶂ	INTJ
iajs-3938	160	13	𝑖𝑠	𝑖𝑠	INTJ
iajs-3938	160	14	gα	gα	ADP
iajs-3938	160	15	∗	∗	NOUN
iajs-3938	160	16	-cont	-cont	PROPN
iajs-3938	160	17	f.	f.	PROPN
iajs-3938	160	18	𝑮𝜶	𝑮𝜶	PROPN
iajs-3938	160	19	∗-c	∗-c	ADJ
iajs-3938	160	20	function	function	VERB
iajs-3938	160	21	𝑮𝜶	𝑮𝜶	PROPN
iajs-3938	160	22	∗∗-c	∗∗-c	NOUN
iajs-3938	160	23	function	function	NOUN
iajs-3938	160	24	𝑮𝜶	𝑮𝜶	PROPN
iajs-3938	160	25	∗∗∗-c	∗∗∗-c	PROPN
iajs-3938	160	26	function	function	NOUN
iajs-3938	160	27	closed	closed	ADJ
iajs-3938	160	28	function	function	NOUN
iajs-3938	160	29	ihjpas	ihjpa	NOUN
iajs-3938	160	30	.	.	PUNCT
iajs-3938	161	1	2025,38(2	2025,38(2	PROPN
iajs-3938	161	2	)	)	PUNCT
iajs-3938	161	3	423	423	NUM
iajs-3938	161	4	the	the	DET
iajs-3938	161	5	inverse	inverse	NOUN
iajs-3938	161	6	of	of	ADP
iajs-3938	161	7	this	this	DET
iajs-3938	161	8	theorem	theorem	NOUN
iajs-3938	161	9	is	be	AUX
iajs-3938	161	10	not	not	PART
iajs-3938	161	11	true	true	ADJ
iajs-3938	161	12	by	by	ADP
iajs-3938	161	13	the	the	DET
iajs-3938	161	14	example	example	NOUN
iajs-3938	161	15	.	.	PUNCT
iajs-3938	162	1	example	example	NOUN
iajs-3938	162	2	4.3	4.3	NUM
iajs-3938	162	3	:	:	PUNCT
iajs-3938	162	4	suppose	suppose	VERB
iajs-3938	162	5	ᶂ∶	ᶂ∶	NOUN
iajs-3938	162	6	(	(	PUNCT
iajs-3938	162	7	ϱ,𝜏,g	ϱ,𝜏,g	PROPN
iajs-3938	162	8	)	)	PUNCT
iajs-3938	163	1	→	→	ADP
iajs-3938	163	2	(	(	PUNCT
iajs-3938	163	3	ϑ,𝜏	ϑ,𝜏	ADJ
iajs-3938	163	4	,	,	PUNCT
iajs-3938	163	5	g′	g′	NOUN
iajs-3938	163	6	)	)	PUNCT
iajs-3938	163	7	is	be	AUX
iajs-3938	163	8	a	a	DET
iajs-3938	163	9	function	function	NOUN
iajs-3938	163	10	such	such	ADJ
iajs-3938	163	11	that	that	SCONJ
iajs-3938	163	12	ᶂ	ᶂ	X
iajs-3938	163	13	(	(	PUNCT
iajs-3938	163	14	ℒ)=	ℒ)=	ADJ
iajs-3938	163	15	ℒ	ℒ	NOUN
iajs-3938	163	16	for	for	ADP
iajs-3938	163	17	each	each	DET
iajs-3938	163	18	ℒ	ℒ	NOUN
iajs-3938	163	19	∈	∈	PROPN
iajs-3938	163	20	ϱ	ϱ	ADP
iajs-3938	163	21	where	where	SCONJ
iajs-3938	163	22	ϱ	ϱ	ADP
iajs-3938	163	23	=	=	NOUN
iajs-3938	163	24	{	{	PUNCT
iajs-3938	163	25	ℒ1	ℒ1	PROPN
iajs-3938	163	26	,	,	PUNCT
iajs-3938	163	27	ℒ2	ℒ2	PROPN
iajs-3938	163	28	,	,	PUNCT
iajs-3938	163	29	ℒ3},𝜏=	ℒ3},𝜏=	PROPN
iajs-3938	163	30	{	{	PUNCT
iajs-3938	163	31	ϱ,ø	ϱ,ø	NOUN
iajs-3938	163	32	,	,	PUNCT
iajs-3938	163	33	{	{	PUNCT
iajs-3938	163	34	ℒ2	ℒ2	NOUN
iajs-3938	163	35	}	}	PUNCT
iajs-3938	163	36	}	}	PUNCT
iajs-3938	163	37	,	,	PUNCT
iajs-3938	163	38	₢	₢	ADP
iajs-3938	163	39	=	=	PROPN
iajs-3938	163	40	ƥ(ϱ)∖{ø	ƥ(ϱ)∖{ø	NOUN
iajs-3938	163	41	}	}	PUNCT
iajs-3938	163	42	,	,	PUNCT
iajs-3938	163	43	₢	₢	ADP
iajs-3938	163	44	′=	′=	PROPN
iajs-3938	163	45	{	{	PUNCT
iajs-3938	163	46	ς	ς	PROPN
iajs-3938	163	47	;	;	PUNCT
iajs-3938	163	48	ℒ2∈	ℒ2∈	VERB
iajs-3938	163	49	ς	ς	PROPN
iajs-3938	163	50	}	}	PUNCT
iajs-3938	163	51	,	,	PUNCT
iajs-3938	163	52	gα	gα	ADP
iajs-3938	163	53	∗𝑜(ϑ)=	∗𝑜(ϑ)=	NOUN
iajs-3938	163	54	{	{	PUNCT
iajs-3938	163	55	ς	ς	NOUN
iajs-3938	163	56	;	;	PUNCT
iajs-3938	163	57	ℒ2∈	ℒ2∈	VERB
iajs-3938	163	58	ς	ς	PROPN
iajs-3938	163	59	}	}	PUNCT
iajs-3938	163	60	∪{ø	∪{ø	PROPN
iajs-3938	163	61	}	}	PUNCT
iajs-3938	163	62	,	,	PUNCT
iajs-3938	163	63	gα	gα	ADP
iajs-3938	163	64	∗𝑜(ϱ)=ƥ(ϱ	∗𝑜(ϱ)=ƥ(ϱ	NOUN
iajs-3938	163	65	)	)	PUNCT
iajs-3938	163	66	.	.	PUNCT
iajs-3938	164	1	so	so	ADV
iajs-3938	164	2	that	that	SCONJ
iajs-3938	164	3	,	,	PUNCT
iajs-3938	164	4	ᶂ	ᶂ	NOUN
iajs-3938	164	5	is	be	AUX
iajs-3938	164	6	gα	gα	ADP
iajs-3938	164	7	∗	∗	NOUN
iajs-3938	164	8	-cont	-cont	NOUN
iajs-3938	164	9	f	f	NOUN
iajs-3938	164	10	and	and	CCONJ
iajs-3938	164	11	continuous	continuous	ADJ
iajs-3938	164	12	function	function	NOUN
iajs-3938	164	13	but	but	CCONJ
iajs-3938	164	14	it	it	PRON
iajs-3938	164	15	is	be	AUX
iajs-3938	164	16	not	not	PART
iajs-3938	164	17	gα	gα	ADP
iajs-3938	164	18	∗	∗	NOUN
iajs-3938	164	19	o(ϱ)-irr	o(ϱ)-irr	PROPN
iajs-3938	165	1	f	f	PROPN
iajs-3938	166	1	and	and	CCONJ
iajs-3938	166	2	it	it	PRON
iajs-3938	166	3	is	be	AUX
iajs-3938	166	4	not	not	PART
iajs-3938	166	5	gα	gα	ADP
iajs-3938	166	6	∗o(ϱ	∗o(ϱ	NOUN
iajs-3938	166	7	)	)	PUNCT
iajs-3938	166	8	s	s	PART
iajs-3938	166	9	cont	cont	NOUN
iajs-3938	166	10	f	f	PROPN
iajs-3938	166	11	since	since	SCONJ
iajs-3938	166	12	there	there	PRON
iajs-3938	166	13	exists{ℒ2	exists{ℒ2	PROPN
iajs-3938	166	14	,	,	PUNCT
iajs-3938	166	15	ℒ3}∈₢′α	ℒ3}∈₢′α	PROPN
iajs-3938	166	16	∗∗	∗∗	PROPN
iajs-3938	166	17	(	(	PUNCT
iajs-3938	166	18	ϱ)but	ϱ)but	PROPN
iajs-3938	166	19	ᶂ−1	ᶂ−1	PROPN
iajs-3938	166	20	{	{	PUNCT
iajs-3938	166	21	ℒ2	ℒ2	PROPN
iajs-3938	166	22	,	,	PUNCT
iajs-3938	166	23	ℒ3	ℒ3	VERB
iajs-3938	166	24	}	}	PUNCT
iajs-3938	166	25	=	=	ADJ
iajs-3938	166	26	{	{	PUNCT
iajs-3938	166	27	ℒ2	ℒ2	PROPN
iajs-3938	166	28	,	,	PUNCT
iajs-3938	166	29	ℒ3}∉gα	ℒ3}∉gα	PROPN
iajs-3938	166	30	∗o(ϱ	∗o(ϱ	NOUN
iajs-3938	166	31	)	)	PUNCT
iajs-3938	166	32	and	and	CCONJ
iajs-3938	166	33	{	{	PUNCT
iajs-3938	166	34	ℒ2	ℒ2	NOUN
iajs-3938	166	35	,	,	PUNCT
iajs-3938	166	36	ℒ3	ℒ3	VERB
iajs-3938	166	37	}	}	PUNCT
iajs-3938	166	38	∉	∉	PROPN
iajs-3938	166	39	𝜏	𝜏	PROPN
iajs-3938	166	40	.	.	PUNCT
iajs-3938	167	1	figure	figure	NOUN
iajs-3938	167	2	3	3	NUM
iajs-3938	167	3	.	.	PUNCT
iajs-3938	168	1	continuity	continuity	NOUN
iajs-3938	168	2	via	via	ADP
iajs-3938	168	3	gα	gα	ADP
iajs-3938	168	4	∗-open	∗-open	X
iajs-3938	168	5	set	set	NOUN
iajs-3938	168	6	5	5	NUM
iajs-3938	168	7	.	.	PUNCT
iajs-3938	168	8	conclusions	conclusion	NOUN
iajs-3938	168	9	through	through	ADP
iajs-3938	168	10	our	our	PRON
iajs-3938	168	11	research	research	NOUN
iajs-3938	168	12	,	,	PUNCT
iajs-3938	168	13	unique	unique	ADJ
iajs-3938	168	14	characteristics	characteristic	NOUN
iajs-3938	168	15	was	be	AUX
iajs-3938	168	16	found	find	VERB
iajs-3938	168	17	that	that	SCONJ
iajs-3938	168	18	this	this	DET
iajs-3938	168	19	group	group	NOUN
iajs-3938	168	20	has	have	VERB
iajs-3938	168	21	.	.	PUNCT
iajs-3938	169	1	also	also	ADV
iajs-3938	169	2	,	,	PUNCT
iajs-3938	169	3	investigated	investigate	VERB
iajs-3938	169	4	the	the	DET
iajs-3938	169	5	continuity	continuity	NOUN
iajs-3938	169	6	of	of	ADP
iajs-3938	169	7	this	this	DET
iajs-3938	169	8	group	group	NOUN
iajs-3938	169	9	,	,	PUNCT
iajs-3938	169	10	identified	identify	VERB
iajs-3938	169	11	the	the	DET
iajs-3938	169	12	relationships	relationship	NOUN
iajs-3938	169	13	between	between	ADP
iajs-3938	169	14	the	the	DET
iajs-3938	169	15	groups	group	NOUN
iajs-3938	169	16	associated	associate	VERB
iajs-3938	169	17	with	with	ADP
iajs-3938	169	18	it	it	PRON
iajs-3938	169	19	,	,	PUNCT
iajs-3938	169	20	and	and	CCONJ
iajs-3938	169	21	illustrated	illustrate	VERB
iajs-3938	169	22	these	these	DET
iajs-3938	169	23	relationships	relationship	NOUN
iajs-3938	169	24	using	use	VERB
iajs-3938	169	25	diagrams	diagram	NOUN
iajs-3938	169	26	.	.	PUNCT
iajs-3938	170	1	as	as	SCONJ
iajs-3938	170	2	described	describe	VERB
iajs-3938	170	3	earlier	early	ADV
iajs-3938	170	4	.	.	PUNCT
iajs-3938	171	1	in	in	ADP
iajs-3938	171	2	the	the	DET
iajs-3938	171	3	future	future	NOUN
iajs-3938	171	4	,	,	PUNCT
iajs-3938	171	5	we	we	PRON
iajs-3938	171	6	can	can	AUX
iajs-3938	171	7	also	also	ADV
iajs-3938	171	8	study	study	VERB
iajs-3938	171	9	the	the	DET
iajs-3938	171	10	properties	property	NOUN
iajs-3938	171	11	of	of	ADP
iajs-3938	171	12	the	the	DET
iajs-3938	171	13	group	group	NOUN
iajs-3938	171	14	we	we	PRON
iajs-3938	171	15	selected	select	VERB
iajs-3938	171	16	in	in	ADP
iajs-3938	171	17	other	other	ADJ
iajs-3938	171	18	spaces	space	NOUN
iajs-3938	171	19	,	,	PUNCT
iajs-3938	171	20	such	such	ADJ
iajs-3938	171	21	as	as	ADP
iajs-3938	171	22	topological	topological	ADJ
iajs-3938	171	23	fuzzy	fuzzy	ADJ
iajs-3938	171	24	space	space	NOUN
iajs-3938	171	25	or	or	CCONJ
iajs-3938	171	26	topological	topological	ADJ
iajs-3938	171	27	nano	nano	NOUN
iajs-3938	171	28	space	space	NOUN
iajs-3938	171	29	,	,	PUNCT
iajs-3938	171	30	and	and	CCONJ
iajs-3938	171	31	we	we	PRON
iajs-3938	171	32	can	can	AUX
iajs-3938	171	33	also	also	ADV
iajs-3938	171	34	study	study	VERB
iajs-3938	171	35	the	the	DET
iajs-3938	171	36	relationships	relationship	NOUN
iajs-3938	171	37	between	between	ADP
iajs-3938	171	38	the	the	DET
iajs-3938	171	39	properties	property	NOUN
iajs-3938	171	40	of	of	ADP
iajs-3938	171	41	this	this	DET
iajs-3938	171	42	group	group	NOUN
iajs-3938	171	43	.	.	PUNCT
iajs-3938	172	1	in	in	ADP
iajs-3938	172	2	the	the	DET
iajs-3938	172	3	future	future	NOUN
iajs-3938	172	4	,	,	PUNCT
iajs-3938	172	5	we	we	PRON
iajs-3938	172	6	can	can	AUX
iajs-3938	172	7	study	study	VERB
iajs-3938	172	8	some	some	DET
iajs-3938	172	9	properties	property	NOUN
iajs-3938	172	10	of	of	ADP
iajs-3938	172	11	coverage	coverage	NOUN
iajs-3938	172	12	and	and	CCONJ
iajs-3938	172	13	correlation	correlation	NOUN
iajs-3938	172	14	across	across	ADP
iajs-3938	172	15	open	open	ADJ
iajs-3938	172	16	groups	group	NOUN
iajs-3938	172	17	.	.	PUNCT
iajs-3938	173	1	acknowledgment	acknowledgment	NOUN
iajs-3938	173	2	our	our	PRON
iajs-3938	173	3	researcher	researcher	NOUN
iajs-3938	173	4	extends	extend	VERB
iajs-3938	173	5	his	his	PRON
iajs-3938	173	6	sincere	sincere	ADJ
iajs-3938	173	7	thanks	thank	NOUN
iajs-3938	173	8	to	to	ADP
iajs-3938	173	9	the	the	DET
iajs-3938	173	10	editor	editor	NOUN
iajs-3938	173	11	and	and	CCONJ
iajs-3938	173	12	members	member	NOUN
iajs-3938	173	13	of	of	ADP
iajs-3938	173	14	the	the	DET
iajs-3938	173	15	preparatory	preparatory	PROPN
iajs-3938	173	16	committee	committee	NOUN
iajs-3938	173	17	of	of	ADP
iajs-3938	173	18	the	the	DET
iajs-3938	173	19	ibn	ibn	PROPN
iajs-3938	173	20	al	al	PROPN
iajs-3938	173	21	-	-	PUNCT
iajs-3938	173	22	haitham	haitham	PROPN
iajs-3938	173	23	journal	journal	PROPN
iajs-3938	173	24	of	of	ADP
iajs-3938	173	25	pure	pure	ADJ
iajs-3938	173	26	and	and	CCONJ
iajs-3938	173	27	applied	applied	ADJ
iajs-3938	173	28	sciences	science	NOUN
iajs-3938	173	29	.	.	PUNCT
iajs-3938	174	1	conflict	conflict	NOUN
iajs-3938	174	2	of	of	ADP
iajs-3938	174	3	interest	interest	NOUN
iajs-3938	174	4	there	there	PRON
iajs-3938	174	5	are	be	VERB
iajs-3938	174	6	no	no	DET
iajs-3938	174	7	conflicts	conflict	NOUN
iajs-3938	174	8	of	of	ADP
iajs-3938	174	9	interest	interest	NOUN
iajs-3938	174	10	.	.	PUNCT
iajs-3938	175	1	funding	funding	NOUN
iajs-3938	175	2	there	there	PRON
iajs-3938	175	3	is	be	VERB
iajs-3938	175	4	no	no	DET
iajs-3938	175	5	funding	funding	NOUN
iajs-3938	175	6	for	for	ADP
iajs-3938	175	7	the	the	DET
iajs-3938	175	8	article	article	NOUN
iajs-3938	175	9	.	.	PUNCT
iajs-3938	176	1	references	reference	NOUN
iajs-3938	176	2	1	1	NUM
iajs-3938	176	3	.	.	PUNCT
iajs-3938	176	4	choquet	choquet	PROPN
iajs-3938	176	5	g.	g.	PROPN
iajs-3938	176	6	sur	sur	PROPN
iajs-3938	176	7	les	les	PROPN
iajs-3938	176	8	notions	notion	NOUN
iajs-3938	176	9	de	de	X
iajs-3938	176	10	filtre	filtre	NOUN
iajs-3938	176	11	et	et	NOUN
iajs-3938	176	12	de	de	NOUN
iajs-3938	176	13	grille	grille	NOUN
iajs-3938	176	14	.	.	PUNCT
iajs-3938	177	1	comptes	compte	VERB
iajs-3938	177	2	rendus	rendus	PROPN
iajs-3938	177	3	de	de	PROPN
iajs-3938	177	4	l'académie	l'académie	PROPN
iajs-3938	177	5	des	des	PROPN
iajs-3938	177	6	sciences	sciences	PROPN
iajs-3938	177	7	de	de	X
iajs-3938	177	8	paris	paris	PROPN
iajs-3938	177	9	.	.	PUNCT
iajs-3938	178	1	1947;224:171–172	1947;224:171–172	NUM
iajs-3938	178	2	.	.	PUNCT
iajs-3938	179	1	2	2	X
iajs-3938	179	2	.	.	X
iajs-3938	179	3	roy	roy	PROPN
iajs-3938	179	4	b	b	PROPN
iajs-3938	179	5	,	,	PUNCT
iajs-3938	179	6	mukherjee	mukherjee	PROPN
iajs-3938	179	7	mn	mn	PROPN
iajs-3938	179	8	.	.	PROPN
iajs-3938	180	1	on	on	ADP
iajs-3938	180	2	a	a	DET
iajs-3938	180	3	typical	typical	ADJ
iajs-3938	180	4	topology	topology	NOUN
iajs-3938	180	5	induced	induce	VERB
iajs-3938	180	6	by	by	ADP
iajs-3938	180	7	a	a	DET
iajs-3938	180	8	grill	grill	NOUN
iajs-3938	180	9	.	.	PUNCT
iajs-3938	181	1	soochow	soochow	PROPN
iajs-3938	181	2	journal	journal	PROPN
iajs-3938	181	3	of	of	ADP
iajs-3938	181	4	mathematics	mathematic	NOUN
iajs-3938	181	5	.	.	PUNCT
iajs-3938	182	1	2007;33:771–786	2007;33:771–786	NOUN
iajs-3938	182	2	.	.	PUNCT
iajs-3938	183	1	𝐺𝛼	𝐺𝛼	NOUN
iajs-3938	183	2	∗-irresolute	∗-irresolute	ADJ
iajs-3938	183	3	function	function	NOUN
iajs-3938	183	4	𝐺𝛼	𝐺𝛼	NUM
iajs-3938	183	5	∗-continuous	∗-continuous	ADJ
iajs-3938	183	6	function	function	NOUN
iajs-3938	183	7	strongly	strongly	ADV
iajs-3938	183	8	𝐺𝛼	𝐺𝛼	VERB
iajs-3938	183	9	∗-continuous	∗-continuous	ADJ
iajs-3938	183	10	function	function	NOUN
iajs-3938	183	11	continuous	continuous	ADJ
iajs-3938	183	12	function	function	NOUN
iajs-3938	183	13	ihjpas	ihjpa	NOUN
iajs-3938	183	14	.	.	PUNCT
iajs-3938	184	1	2025,38(2	2025,38(2	PROPN
iajs-3938	184	2	)	)	PUNCT
iajs-3938	184	3	424	424	NUM
iajs-3938	184	4	3	3	NUM
iajs-3938	185	1	.	.	PUNCT
iajs-3938	185	2	njåstad	njåstad	PROPN
iajs-3938	185	3	o.	o.	PROPN
iajs-3938	185	4	on	on	ADP
iajs-3938	185	5	some	some	DET
iajs-3938	185	6	classes	class	NOUN
iajs-3938	185	7	of	of	ADP
iajs-3938	185	8	nearly	nearly	ADV
iajs-3938	185	9	open	open	ADJ
iajs-3938	185	10	sets	set	NOUN
iajs-3938	185	11	.	.	PUNCT
iajs-3938	186	1	pacific	pacific	PROPN
iajs-3938	186	2	journal	journal	PROPN
iajs-3938	186	3	of	of	ADP
iajs-3938	186	4	mathematics	mathematic	NOUN
iajs-3938	186	5	.	.	PUNCT
iajs-3938	187	1	1965;15:961–970	1965;15:961–970	ADJ
iajs-3938	187	2	.	.	PUNCT
iajs-3938	188	1	https://doi.org/10.2140/pjm.1965.15.961	https://doi.org/10.2140/pjm.1965.15.961	PROPN
iajs-3938	188	2	4	4	NUM
iajs-3938	188	3	.	.	PUNCT
iajs-3938	189	1	al	al	PROPN
iajs-3938	189	2	-	-	PUNCT
iajs-3938	189	3	omari	omari	PROPN
iajs-3938	189	4	a	a	X
iajs-3938	189	5	,	,	PUNCT
iajs-3938	189	6	noiri	noiri	NOUN
iajs-3938	189	7	t.	t.	NOUN
iajs-3938	189	8	decompositions	decomposition	NOUN
iajs-3938	189	9	of	of	ADP
iajs-3938	189	10	continuity	continuity	NOUN
iajs-3938	189	11	via	via	ADP
iajs-3938	189	12	grills	grill	NOUN
iajs-3938	189	13	.	.	PUNCT
iajs-3938	190	1	jordan	jordan	PROPN
iajs-3938	190	2	journal	journal	PROPN
iajs-3938	190	3	of	of	ADP
iajs-3938	190	4	mathematics	mathematic	NOUN
iajs-3938	190	5	and	and	CCONJ
iajs-3938	190	6	statistics	statistic	NOUN
iajs-3938	190	7	.	.	PUNCT
iajs-3938	191	1	2011;4:33–46	2011;4:33–46	NUM
iajs-3938	191	2	.	.	NOUN
iajs-3938	191	3	5	5	NUM
iajs-3938	191	4	.	.	PUNCT
iajs-3938	191	5	mahmood	mahmood	PROPN
iajs-3938	191	6	aj	aj	PROPN
iajs-3938	191	7	,	,	PUNCT
iajs-3938	191	8	nasir	nasir	PROPN
iajs-3938	191	9	ai	ai	VERB
iajs-3938	191	10	.	.	PUNCT
iajs-3938	191	11	connectedness	connectedness	NOUN
iajs-3938	191	12	via	via	ADP
iajs-3938	191	13	generalizations	generalization	NOUN
iajs-3938	191	14	of	of	ADP
iajs-3938	191	15	semi	semi	ADJ
iajs-3938	191	16	-	-	ADJ
iajs-3938	191	17	open	open	ADJ
iajs-3938	191	18	sets	set	NOUN
iajs-3938	191	19	.	.	PUNCT
iajs-3938	192	1	ibn	ibn	PROPN
iajs-3938	192	2	al	al	PROPN
iajs-3938	192	3	-	-	PUNCT
iajs-3938	192	4	haitham	haitham	PROPN
iajs-3938	192	5	journal	journal	PROPN
iajs-3938	192	6	of	of	ADP
iajs-3938	192	7	pure	pure	ADJ
iajs-3938	192	8	and	and	CCONJ
iajs-3938	192	9	applied	applied	ADJ
iajs-3938	192	10	sciences	science	NOUN
iajs-3938	192	11	.	.	PUNCT
iajs-3938	193	1	2022;35:235–240	2022;35:235–240	NOUN
iajs-3938	193	2	.	.	PUNCT
iajs-3938	194	1	https://doi.org/10.30526/35.4.2877	https://doi.org/10.30526/35.4.2877	PROPN
iajs-3938	194	2	6	6	NUM
iajs-3938	194	3	.	.	PUNCT
iajs-3938	195	1	el	el	ADJ
iajs-3938	195	2	-	-	PUNCT
iajs-3938	195	3	monsef	monsef	PROPN
iajs-3938	195	4	mea	mea	PROPN
iajs-3938	195	5	,	,	PUNCT
iajs-3938	195	6	abd	abd	PROPN
iajs-3938	195	7	el	el	PROPN
iajs-3938	195	8	-	-	PUNCT
iajs-3938	195	9	monsef	monsef	ADJ
iajs-3938	195	10	am	am	NOUN
iajs-3938	195	11	.	.	PUNCT
iajs-3938	196	1	some	some	DET
iajs-3938	196	2	generalized	generalized	ADJ
iajs-3938	196	3	forms	form	NOUN
iajs-3938	196	4	of	of	ADP
iajs-3938	196	5	compactness	compactness	NOUN
iajs-3938	196	6	and	and	CCONJ
iajs-3938	196	7	closedness	closedness	NOUN
iajs-3938	196	8	.	.	PUNCT
iajs-3938	197	1	delta	delta	PROPN
iajs-3938	197	2	journal	journal	PROPN
iajs-3938	197	3	of	of	ADP
iajs-3938	197	4	science	science	NOUN
iajs-3938	197	5	.	.	PUNCT
iajs-3938	198	1	2012;7:2767–2782	2012;7:2767–2782	NUM
iajs-3938	198	2	.	.	PUNCT
iajs-3938	199	1	7	7	NUM
iajs-3938	199	2	.	.	NUM
iajs-3938	199	3	hatir	hatir	PROPN
iajs-3938	199	4	e	e	PROPN
iajs-3938	199	5	,	,	PUNCT
iajs-3938	199	6	jafari	jafari	PROPN
iajs-3938	199	7	s.	s.	PROPN
iajs-3938	199	8	on	on	ADP
iajs-3938	199	9	some	some	DET
iajs-3938	199	10	new	new	ADJ
iajs-3938	199	11	classes	class	NOUN
iajs-3938	199	12	of	of	ADP
iajs-3938	199	13	sets	set	NOUN
iajs-3938	199	14	and	and	CCONJ
iajs-3938	199	15	a	a	DET
iajs-3938	199	16	new	new	ADJ
iajs-3938	199	17	decomposition	decomposition	NOUN
iajs-3938	199	18	of	of	ADP
iajs-3938	199	19	continuity	continuity	NOUN
iajs-3938	199	20	via	via	ADP
iajs-3938	199	21	grills	grill	NOUN
iajs-3938	199	22	.	.	PUNCT
iajs-3938	199	23	journal	journal	NOUN
iajs-3938	199	24	of	of	ADP
iajs-3938	199	25	advanced	advanced	ADJ
iajs-3938	199	26	mathematical	mathematical	ADJ
iajs-3938	199	27	studies	study	NOUN
iajs-3938	199	28	.	.	PUNCT
iajs-3938	200	1	2010;3:33–40	2010;3:33–40	NUM
iajs-3938	200	2	.	.	X
iajs-3938	200	3	8	8	NUM
iajs-3938	200	4	.	.	PUNCT
iajs-3938	201	1	al	al	PROPN
iajs-3938	201	2	-	-	PUNCT
iajs-3938	201	3	hawary	hawary	PROPN
iajs-3938	201	4	t	t	PROPN
iajs-3938	201	5	,	,	PUNCT
iajs-3938	201	6	al	al	PROPN
iajs-3938	201	7	-	-	PUNCT
iajs-3938	201	8	omari	omari	PROPN
iajs-3938	201	9	a.	a.	PROPN
iajs-3938	201	10	ω	ω	PROPN
iajs-3938	201	11	-	-	ADJ
iajs-3938	201	12	continuous	continuous	ADJ
iajs-3938	201	13	like	like	ADP
iajs-3938	201	14	mappings	mapping	NOUN
iajs-3938	201	15	.	.	PUNCT
iajs-3938	202	1	al	al	PROPN
iajs-3938	202	2	-	-	PUNCT
iajs-3938	202	3	manarah	manarah	PROPN
iajs-3938	202	4	journal	journal	NOUN
iajs-3938	202	5	.	.	PUNCT
iajs-3938	203	1	2007;13:135–147	2007;13:135–147	NUM
iajs-3938	203	2	.	.	PROPN
iajs-3938	203	3	9	9	NUM
iajs-3938	203	4	.	.	X
iajs-3938	203	5	esmaeel	esmaeel	VERB
iajs-3938	203	6	rb	rb	PROPN
iajs-3938	203	7	,	,	PUNCT
iajs-3938	203	8	nasir	nasir	PROPN
iajs-3938	203	9	ai	ai	VERB
iajs-3938	203	10	.	.	PUNCT
iajs-3938	204	1	some	some	DET
iajs-3938	204	2	properties	property	NOUN
iajs-3938	204	3	of	of	ADP
iajs-3938	204	4	ĩ	ĩ	ADP
iajs-3938	204	5	-	-	PUNCT
iajs-3938	204	6	semi	semi	ADJ
iajs-3938	204	7	-	-	ADJ
iajs-3938	204	8	open	open	ADJ
iajs-3938	204	9	soft	soft	ADJ
iajs-3938	204	10	sets	set	NOUN
iajs-3938	204	11	with	with	ADP
iajs-3938	204	12	respect	respect	NOUN
iajs-3938	204	13	to	to	ADP
iajs-3938	204	14	soft	soft	ADJ
iajs-3938	204	15	ideals	ideal	NOUN
iajs-3938	204	16	.	.	PUNCT
iajs-3938	205	1	international	international	ADJ
iajs-3938	205	2	journal	journal	NOUN
iajs-3938	205	3	of	of	ADP
iajs-3938	205	4	pure	pure	ADJ
iajs-3938	205	5	and	and	CCONJ
iajs-3938	205	6	applied	applied	ADJ
iajs-3938	205	7	mathematics	mathematic	NOUN
iajs-3938	205	8	.	.	PUNCT
iajs-3938	206	1	2016;111:545–562	2016;111:545–562	NUM
iajs-3938	206	2	.	.	PUNCT
iajs-3938	207	1	https://doi.org/10.12732/ijpam.v111i4.2	https://doi.org/10.12732/ijpam.v111i4.2	NOUN
iajs-3938	207	2	10	10	NUM
iajs-3938	207	3	.	.	PUNCT
iajs-3938	208	1	al	al	PROPN
iajs-3938	208	2	-	-	PUNCT
iajs-3938	208	3	hawary	hawary	PROPN
iajs-3938	208	4	t	t	PROPN
iajs-3938	208	5	,	,	PUNCT
iajs-3938	208	6	al	al	PROPN
iajs-3938	208	7	-	-	PUNCT
iajs-3938	208	8	omari	omari	PROPN
iajs-3938	208	9	a.	a.	NOUN
iajs-3938	208	10	between	between	ADP
iajs-3938	208	11	open	open	ADJ
iajs-3938	208	12	and	and	CCONJ
iajs-3938	208	13	omega	omega	NOUN
iajs-3938	208	14	-	-	PUNCT
iajs-3938	208	15	open	open	ADJ
iajs-3938	208	16	sets	set	NOUN
iajs-3938	208	17	.	.	PUNCT
iajs-3938	209	1	questions	question	NOUN
iajs-3938	209	2	and	and	CCONJ
iajs-3938	209	3	answers	answer	NOUN
iajs-3938	209	4	in	in	ADP
iajs-3938	209	5	general	general	ADJ
iajs-3938	209	6	topology	topology	NOUN
iajs-3938	209	7	.	.	PUNCT
iajs-3938	210	1	2006;24:67	2006;24:67	NUM
iajs-3938	210	2	.	.	PUNCT
iajs-3938	211	1	11	11	NUM
iajs-3938	211	2	.	.	PUNCT
iajs-3938	212	1	al	al	PROPN
iajs-3938	212	2	-	-	PUNCT
iajs-3938	212	3	hawary	hawary	ADJ
iajs-3938	212	4	t.	t.	PROPN
iajs-3938	212	5	on	on	ADP
iajs-3938	212	6	generalized	generalized	ADJ
iajs-3938	212	7	preopen	preopen	ADJ
iajs-3938	212	8	sets	set	NOUN
iajs-3938	212	9	.	.	PUNCT
iajs-3938	213	1	proyecciones	proyeccione	NOUN
iajs-3938	213	2	(	(	PUNCT
iajs-3938	213	3	antofagasta	antofagasta	PROPN
iajs-3938	213	4	)	)	PUNCT
iajs-3938	213	5	.	.	PUNCT
iajs-3938	214	1	2013;32:47–60	2013;32:47–60	X
iajs-3938	214	2	.	.	PUNCT
iajs-3938	215	1	https://doi.org/10.4067/s0716-09172013000100004	https://doi.org/10.4067/s0716-09172013000100004	NOUN
iajs-3938	215	2	12	12	NUM
iajs-3938	215	3	.	.	PUNCT
iajs-3938	216	1	al	al	PROPN
iajs-3938	216	2	-	-	PUNCT
iajs-3938	216	3	hawary	hawary	PROPN
iajs-3938	216	4	t.	t.	PROPN
iajs-3938	216	5	ρ	ρ	PROPN
iajs-3938	216	6	-	-	PUNCT
iajs-3938	216	7	closed	closed	ADJ
iajs-3938	216	8	sets	set	NOUN
iajs-3938	216	9	.	.	PUNCT
iajs-3938	217	1	acta	acta	PROPN
iajs-3938	217	2	universitatis	universitatis	PROPN
iajs-3938	217	3	apulensis	apulensis	NOUN
iajs-3938	217	4	.	.	PUNCT
iajs-3938	218	1	2013;29–36	2013;29–36	NUM
iajs-3938	218	2	.	.	X
iajs-3938	219	1	13	13	NUM
iajs-3938	219	2	.	.	X
iajs-3938	220	1	mustafa	mustafa	PROPN
iajs-3938	220	2	,	,	PUNCT
iajs-3938	220	3	m.o	m.o	PROPN
iajs-3938	220	4	.	.	PROPN
iajs-3938	220	5	;	;	PUNCT
iajs-3938	220	6	esmaeel	esmaeel	NOUN
iajs-3938	220	7	,	,	PUNCT
iajs-3938	220	8	r.b	r.b	NOUN
iajs-3938	220	9	.	.	PUNCT
iajs-3938	221	1	some	some	DET
iajs-3938	221	2	properties	property	NOUN
iajs-3938	221	3	in	in	ADP
iajs-3938	221	4	grill	grill	ADJ
iajs-3938	221	5	-	-	PUNCT
iajs-3938	221	6	topological	topological	ADJ
iajs-3938	221	7	open	open	ADJ
iajs-3938	221	8	and	and	CCONJ
iajs-3938	221	9	closed	closed	ADJ
iajs-3938	221	10	sets	set	NOUN
iajs-3938	221	11	.	.	PUNCT
iajs-3938	222	1	j.	j.	PROPN
iajs-3938	222	2	phys	phys	PROPN
iajs-3938	222	3	.	.	PUNCT
iajs-3938	222	4	conf	conf	PROPN
iajs-3938	222	5	.	.	PUNCT
iajs-3938	223	1	ser	ser	PROPN
iajs-3938	223	2	.	.	PROPN
iajs-3938	223	3	2021	2021	NUM
iajs-3938	223	4	,	,	PUNCT
iajs-3938	223	5	1897	1897	NUM
iajs-3938	223	6	,	,	PUNCT
iajs-3938	223	7	12038	12038	NUM
iajs-3938	223	8	.	.	PUNCT
iajs-3938	224	1	http://dx.doi.org/10.1088/1742-6596/1897/1/012038	http://dx.doi.org/10.1088/1742-6596/1897/1/012038	PRON
iajs-3938	224	2	14	14	NUM
iajs-3938	224	3	.	.	PUNCT
iajs-3938	224	4	esmaeel	esmaeel	VERB
iajs-3938	224	5	rb	rb	PROPN
iajs-3938	224	6	,	,	PUNCT
iajs-3938	224	7	mohammad	mohammad	PROPN
iajs-3938	224	8	rj	rj	PROPN
iajs-3938	224	9	.	.	PUNCT
iajs-3938	225	1	on	on	ADP
iajs-3938	225	2	nano	nano	PROPN
iajs-3938	225	3	soft	soft	ADJ
iajs-3938	225	4	j	j	NOUN
iajs-3938	225	5	-	-	PUNCT
iajs-3938	225	6	semi	semi	ADJ
iajs-3938	225	7	-	-	ADJ
iajs-3938	225	8	g	g	ADV
iajs-3938	225	9	-	-	PUNCT
iajs-3938	225	10	closed	close	VERB
iajs-3938	225	11	sets	set	NOUN
iajs-3938	225	12	.	.	PUNCT
iajs-3938	226	1	journal	journal	PROPN
iajs-3938	226	2	of	of	ADP
iajs-3938	226	3	physics	physics	PROPN
iajs-3938	226	4	:	:	PUNCT
iajs-3938	226	5	conference	conference	NOUN
iajs-3938	226	6	series	series	NOUN
iajs-3938	226	7	.	.	PUNCT
iajs-3938	227	1	2020;1591:012071	2020;1591:012071	NUM
iajs-3938	227	2	.	.	PUNCT
iajs-3938	228	1	https://doi.org/10.1088/1742-6596/1591/1/012071	https://doi.org/10.1088/1742-6596/1591/1/012071	ADJ
iajs-3938	228	2	15	15	NUM
iajs-3938	228	3	.	.	PUNCT
iajs-3938	229	1	levine	levine	PROPN
iajs-3938	229	2	n.	n.	PROPN
iajs-3938	229	3	semi	semi	ADJ
iajs-3938	229	4	-	-	ADJ
iajs-3938	229	5	open	open	ADJ
iajs-3938	229	6	sets	set	NOUN
iajs-3938	229	7	and	and	CCONJ
iajs-3938	229	8	semi	semi	ADJ
iajs-3938	229	9	-	-	NOUN
iajs-3938	229	10	continuity	continuity	NOUN
iajs-3938	229	11	in	in	ADP
iajs-3938	229	12	topological	topological	ADJ
iajs-3938	229	13	spaces	space	NOUN
iajs-3938	229	14	.	.	PUNCT
iajs-3938	230	1	the	the	DET
iajs-3938	230	2	american	american	PROPN
iajs-3938	230	3	mathematical	mathematical	PROPN
iajs-3938	230	4	monthly	monthly	ADV
iajs-3938	230	5	.	.	PUNCT
iajs-3938	231	1	1963;70:36	1963;70:36	NUM
iajs-3938	231	2	.	.	PUNCT
iajs-3938	232	1	https://doi.org/10.2307/2312781	https://doi.org/10.2307/2312781	PROPN
iajs-3938	233	1	16	16	NUM
iajs-3938	233	2	.	.	PUNCT
iajs-3938	234	1	mandal	mandal	PROPN
iajs-3938	234	2	d	d	PROPN
iajs-3938	234	3	,	,	PUNCT
iajs-3938	234	4	mukherjee	mukherjee	PROPN
iajs-3938	234	5	mn	mn	PROPN
iajs-3938	234	6	.	.	PROPN
iajs-3938	235	1	on	on	ADP
iajs-3938	235	2	a	a	DET
iajs-3938	235	3	class	class	NOUN
iajs-3938	235	4	of	of	ADP
iajs-3938	235	5	sets	set	NOUN
iajs-3938	235	6	via	via	ADP
iajs-3938	235	7	grill	grill	NOUN
iajs-3938	235	8	:	:	PUNCT
iajs-3938	235	9	a	a	DET
iajs-3938	235	10	decomposition	decomposition	NOUN
iajs-3938	235	11	of	of	ADP
iajs-3938	235	12	continuity	continuity	NOUN
iajs-3938	235	13	.	.	PUNCT
iajs-3938	236	1	analele	analele	ADP
iajs-3938	236	2	științifice	științifice	PROPN
iajs-3938	236	3	ale	ale	PROPN
iajs-3938	236	4	universității	universității	PROPN
iajs-3938	236	5	ovidius	ovidius	NOUN
iajs-3938	236	6	constanța	constanța	NOUN
iajs-3938	236	7	,	,	PUNCT
iajs-3938	236	8	seria	seria	PROPN
iajs-3938	236	9	matematică	matematică	PROPN
iajs-3938	236	10	.	.	PUNCT
iajs-3938	237	1	2012;20:307–316	2012;20:307–316	PROPN
iajs-3938	237	2	.	.	PROPN
iajs-3938	237	3	https://doi.org/10.2478/v10309-012-0020-9	https://doi.org/10.2478/v10309-012-0020-9	NUM
iajs-3938	237	4	17	17	NUM
iajs-3938	237	5	.	.	PUNCT
iajs-3938	238	1	mashhour	mashhour	PROPN
iajs-3938	238	2	s	s	PROPN
iajs-3938	238	3	,	,	PUNCT
iajs-3938	238	4	el	el	PROPN
iajs-3938	238	5	-	-	PUNCT
iajs-3938	238	6	monsef	monsef	PROPN
iajs-3938	238	7	mea	mea	PROPN
iajs-3938	238	8	,	,	PUNCT
iajs-3938	238	9	el	el	PROPN
iajs-3938	238	10	-	-	PUNCT
iajs-3938	238	11	deep	deep	PROPN
iajs-3938	238	12	sn	sn	PROPN
iajs-3938	238	13	.	.	PUNCT
iajs-3938	239	1	on	on	ADP
iajs-3938	239	2	pre	pre	ADJ
iajs-3938	239	3	-	-	ADJ
iajs-3938	239	4	continuous	continuous	ADJ
iajs-3938	239	5	and	and	CCONJ
iajs-3938	239	6	weak	weak	ADJ
iajs-3938	239	7	pre	pre	ADJ
iajs-3938	239	8	-	-	ADJ
iajs-3938	239	9	continuous	continuous	ADJ
iajs-3938	239	10	mappings	mapping	NOUN
iajs-3938	239	11	.	.	PUNCT
iajs-3938	240	1	proceedings	proceeding	NOUN
iajs-3938	240	2	of	of	ADP
iajs-3938	240	3	the	the	DET
iajs-3938	240	4	mathematical	mathematical	ADJ
iajs-3938	240	5	and	and	CCONJ
iajs-3938	240	6	physical	physical	ADJ
iajs-3938	240	7	society	society	NOUN
iajs-3938	240	8	of	of	ADP
iajs-3938	240	9	egypt	egypt	PROPN
iajs-3938	240	10	.	.	PUNCT
iajs-3938	241	1	1982;53:47–53	1982;53:47–53	NUM
iajs-3938	241	2	.	.	PUNCT
iajs-3938	242	1	18	18	NUM
iajs-3938	242	2	.	.	PUNCT
iajs-3938	243	1	bro	bro	PROPN
iajs-3938	243	2	y	y	PROPN
iajs-3938	243	3	,	,	PUNCT
iajs-3938	243	4	mukherjee	mukherjee	PROPN
iajs-3938	243	5	mn	mn	PROPN
iajs-3938	243	6	.	.	PROPN
iajs-3938	244	1	concerning	concern	VERB
iajs-3938	244	2	topologies	topology	NOUN
iajs-3938	244	3	induced	induce	VERB
iajs-3938	244	4	by	by	ADP
iajs-3938	244	5	principal	principal	ADJ
iajs-3938	244	6	grills	grill	NOUN
iajs-3938	244	7	.	.	PUNCT
iajs-3938	245	1	analele	analele	ADP
iajs-3938	245	2	științifice	științifice	PROPN
iajs-3938	245	3	ale	ale	NOUN
iajs-3938	245	4	universității	universității	VERB
iajs-3938	245	5	"	"	PUNCT
iajs-3938	245	6	al	al	PROPN
iajs-3938	245	7	.	.	PROPN
iajs-3938	245	8	i.	i.	PROPN
iajs-3938	245	9	cuza	cuza	PROPN
iajs-3938	245	10	"	"	PUNCT
iajs-3938	245	11	din	din	VERB
iajs-3938	245	12	iași	iași	PROPN
iajs-3938	245	13	matematică	matematică	PROPN
iajs-3938	245	14	.	.	PUNCT
iajs-3938	246	1	2009;55:285–294	2009;55:285–294	NOUN
iajs-3938	246	2	.	.	PUNCT
iajs-3938	247	1	19	19	NUM
iajs-3938	247	2	.	.	PUNCT
iajs-3938	248	1	thron	thron	PROPN
iajs-3938	248	2	wj	wj	PROPN
iajs-3938	248	3	.	.	PUNCT
iajs-3938	249	1	proximity	proximity	NOUN
iajs-3938	249	2	structures	structure	NOUN
iajs-3938	249	3	and	and	CCONJ
iajs-3938	249	4	grills	grill	NOUN
iajs-3938	249	5	.	.	PUNCT
iajs-3938	250	1	mathematische	mathematische	PROPN
iajs-3938	250	2	annalen	annalen	PROPN
iajs-3938	250	3	.	.	PUNCT
iajs-3938	251	1	1973;206:35–62	1973;206:35–62	NUM
iajs-3938	251	2	.	.	PUNCT
iajs-3938	251	3	https://doi.org/10.1007/bf01431527	https://doi.org/10.1007/bf01431527	PROPN
iajs-3938	251	4	20	20	NUM
iajs-3938	251	5	.	.	PUNCT
iajs-3938	252	1	nasef	nasef	PROPN
iajs-3938	252	2	aa	aa	PROPN
iajs-3938	252	3	.	.	PUNCT
iajs-3938	253	1	ideals	ideal	NOUN
iajs-3938	253	2	in	in	ADP
iajs-3938	253	3	general	general	ADJ
iajs-3938	253	4	topology	topology	NOUN
iajs-3938	253	5	.	.	PUNCT
iajs-3938	254	1	tanta	tanta	PROPN
iajs-3938	254	2	university	university	PROPN
iajs-3938	254	3	,	,	PUNCT
iajs-3938	254	4	egypt	egypt	PROPN
iajs-3938	254	5	;	;	PUNCT
iajs-3938	254	6	1992	1992	NUM
iajs-3938	254	7	.	.	PUNCT
iajs-3938	255	1	21	21	NUM
iajs-3938	255	2	.	.	X
iajs-3938	255	3	vaidyanathaswamy	vaidyanathaswamy	VERB
iajs-3938	255	4	v.	v.	ADP
iajs-3938	255	5	the	the	DET
iajs-3938	255	6	localization	localization	NOUN
iajs-3938	255	7	theory	theory	NOUN
iajs-3938	255	8	in	in	ADP
iajs-3938	255	9	set	set	NOUN
iajs-3938	255	10	topology	topology	NOUN
iajs-3938	255	11	.	.	PUNCT
iajs-3938	256	1	proceedings	proceeding	NOUN
iajs-3938	256	2	of	of	ADP
iajs-3938	256	3	the	the	DET
iajs-3938	256	4	indian	indian	PROPN
iajs-3938	256	5	academy	academy	PROPN
iajs-3938	256	6	of	of	ADP
iajs-3938	256	7	sciences	sciences	PROPN
iajs-3938	256	8	section	section	PROPN
iajs-3938	256	9	a.	a.	NOUN
iajs-3938	256	10	1945;20:51–61	1945;20:51–61	NUM
iajs-3938	256	11	.	.	PUNCT
iajs-3938	257	1	22	22	NUM
iajs-3938	257	2	.	.	PUNCT
iajs-3938	258	1	zahan	zahan	PROPN
iajs-3938	258	2	i	i	PROPN
iajs-3938	258	3	,	,	PUNCT
iajs-3938	258	4	nasrin	nasrin	PROPN
iajs-3938	258	5	r.	r.	PROPN
iajs-3938	258	6	an	an	DET
iajs-3938	258	7	introduction	introduction	NOUN
iajs-3938	258	8	to	to	ADP
iajs-3938	258	9	fuzzy	fuzzy	ADJ
iajs-3938	258	10	topological	topological	ADJ
iajs-3938	258	11	spaces	space	NOUN
iajs-3938	258	12	.	.	PUNCT
iajs-3938	259	1	advances	advance	NOUN
iajs-3938	259	2	in	in	ADP
iajs-3938	259	3	pure	pure	ADJ
iajs-3938	259	4	mathematics	mathematic	NOUN
iajs-3938	259	5	.	.	PUNCT
iajs-3938	260	1	2021;11:483–501	2021;11:483–501	NOUN
iajs-3938	260	2	.	.	PUNCT
iajs-3938	261	1	https://doi.org/10.4236/apm.2021.115034	https://doi.org/10.4236/apm.2021.115034	ADJ
iajs-3938	261	2	23	23	NUM
iajs-3938	261	3	.	.	PUNCT
iajs-3938	262	1	ibrahim	ibrahim	PROPN
iajs-3938	262	2	hz	hz	PROPN
iajs-3938	262	3	.	.	PROPN
iajs-3938	263	1	bc	bc	PROPN
iajs-3938	263	2	-	-	ADJ
iajs-3938	263	3	open	open	ADJ
iajs-3938	263	4	sets	set	NOUN
iajs-3938	263	5	in	in	ADP
iajs-3938	263	6	topological	topological	ADJ
iajs-3938	263	7	spaces	space	NOUN
iajs-3938	263	8	.	.	PUNCT
iajs-3938	264	1	advances	advance	NOUN
iajs-3938	264	2	in	in	ADP
iajs-3938	264	3	pure	pure	ADJ
iajs-3938	264	4	mathematics	mathematic	NOUN
iajs-3938	264	5	.	.	PUNCT
iajs-3938	265	1	2013;3:34–40	2013;3:34–40	X
iajs-3938	265	2	.	.	PUNCT
iajs-3938	266	1	https://doi.org/10.4236/apm.2013.31007	https://doi.org/10.4236/apm.2013.31007	PROPN
iajs-3938	266	2	24	24	NUM
iajs-3938	266	3	.	.	PUNCT
iajs-3938	267	1	al	al	PROPN
iajs-3938	267	2	-	-	PUNCT
iajs-3938	267	3	khafaji	khafaji	PROPN
iajs-3938	267	4	mak	mak	PROPN
iajs-3938	267	5	,	,	PUNCT
iajs-3938	267	6	hussan	hussan	VERB
iajs-3938	267	7	msm	msm	NOUN
iajs-3938	267	8	.	.	PUNCT
iajs-3938	268	1	general	general	ADJ
iajs-3938	268	2	type-2	type-2	NUM
iajs-3938	268	3	fuzzy	fuzzy	ADJ
iajs-3938	268	4	topological	topological	ADJ
iajs-3938	268	5	spaces	space	NOUN
iajs-3938	268	6	.	.	PUNCT
iajs-3938	269	1	advances	advance	NOUN
iajs-3938	269	2	in	in	ADP
iajs-3938	269	3	pure	pure	ADJ
iajs-3938	269	4	mathematics	mathematic	NOUN
iajs-3938	269	5	.	.	PUNCT
iajs-3938	270	1	2018;8:771–781	2018;8:771–781	X
iajs-3938	270	2	.	.	X
iajs-3938	270	3	https://doi.org/10.4236/apm.2018.89047	https://doi.org/10.4236/apm.2018.89047	NOUN
iajs-3938	270	4	25	25	NUM
iajs-3938	270	5	.	.	PUNCT
iajs-3938	270	6	esmaeel	esmaeel	VERB
iajs-3938	270	7	rb	rb	NOUN
iajs-3938	270	8	,	,	PUNCT
iajs-3938	271	1	hammood	hammood	ADJ
iajs-3938	271	2	aa	aa	NOUN
iajs-3938	271	3	.	.	PUNCT
iajs-3938	271	4	soft	soft	ADJ
iajs-3938	271	5	convergence	convergence	NOUN
iajs-3938	271	6	via	via	ADP
iajs-3938	271	7	soft	soft	ADJ
iajs-3938	271	8	-	-	PUNCT
iajs-3938	271	9	ᶅ	ᶅ	NOUN
iajs-3938	271	10	-	-	PUNCT
iajs-3938	271	11	pre	pre	ADJ
iajs-3938	271	12	-	-	ADJ
iajs-3938	271	13	generalized	generalized	ADJ
iajs-3938	271	14	-	-	PUNCT
iajs-3938	271	15	open	open	ADJ
iajs-3938	271	16	sets	set	NOUN
iajs-3938	271	17	.	.	PUNCT
iajs-3938	272	1	journal	journal	PROPN
iajs-3938	272	2	of	of	ADP
iajs-3938	272	3	physics	physics	PROPN
iajs-3938	272	4	:	:	PUNCT
iajs-3938	272	5	conference	conference	NOUN
iajs-3938	272	6	series	series	NOUN
iajs-3938	272	7	.	.	PUNCT
iajs-3938	273	1	2021;1879:011001	2021;1879:011001	NUM
iajs-3938	273	2	.	.	PUNCT
iajs-3938	274	1	https://doi.org/10.1088/1742-6596/1879/1/011001	https://doi.org/10.1088/1742-6596/1879/1/011001	NOUN
iajs-3938	275	1	https://doi.org/10.2140/pjm.1965.15.961	https://doi.org/10.2140/pjm.1965.15.961	PROPN
iajs-3938	275	2	https://doi.org/10.30526/35.4.2877	https://doi.org/10.30526/35.4.2877	PROPN
iajs-3938	275	3	https://doi.org/10.12732/ijpam.v111i4.2	https://doi.org/10.12732/ijpam.v111i4.2	NOUN
iajs-3938	276	1	https://doi.org/10.4067/s0716-09172013000100004	https://doi.org/10.4067/s0716-09172013000100004	PROPN
iajs-3938	276	2	http://dx.doi.org/10.1088/1742-6596/1897/1/012038	http://dx.doi.org/10.1088/1742-6596/1897/1/012038	NOUN
iajs-3938	276	3	https://doi.org/10.1088/1742-6596/1591/1/012071	https://doi.org/10.1088/1742-6596/1591/1/012071	PROPN
iajs-3938	277	1	https://doi.org/10.2307/2312781	https://doi.org/10.2307/2312781	PROPN
iajs-3938	277	2	https://doi.org/10.2478/v10309-012-0020-9	https://doi.org/10.2478/v10309-012-0020-9	NUM
iajs-3938	277	3	https://doi.org/10.1007/bf01431527	https://doi.org/10.1007/bf01431527	VERB
iajs-3938	277	4	https://doi.org/10.4236/apm.2021.115034	https://doi.org/10.4236/apm.2021.115034	NOUN
iajs-3938	277	5	https://doi.org/10.4236/apm.2013.31007	https://doi.org/10.4236/apm.2013.31007	ADJ
iajs-3938	277	6	https://doi.org/10.4236/apm.2018.89047	https://doi.org/10.4236/apm.2018.89047	NOUN
iajs-3938	277	7	https://doi.org/10.1088/1742-6596/1879/1/011001	https://doi.org/10.1088/1742-6596/1879/1/011001	PROPN