PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'subset'
1. $F_\sigma$ set by rspuzio
2. $n$-divisible group by CWoo
3. $\bar{\partial}$ operator by jirka
4. $\ell^p(X)$ space by asteroid
5. $\mathbb{R}^2 \setminus C$ is path connected if $C$ is countable by silverfish
6. $\varepsilon$-net by Koro
7. a space is compact iff any family of closed sets having fip has non-empty intersection by CWoo
8. a space is connected under the ordered topology if and only if it is a linear continuum. by dfeuer
9. abelian groups form an abelian category, proof that by mps
10. absorbing set by CWoo
11. additive basis by bbukh
12. affine algebraic group by bwebste
13. affine combination by CWoo
14. affine variety by mathcam
15. algebra by djao
16. almost continuous function by Wkbj79
17. almost everywhere by mathcam
18. alternative characterization of ultrafilter by yark
19. analytic continuation by rspuzio
20. annihilator by antizeus
21. annihilator of vector subspace by stevecheng
22. Aristotelian logic by Daume
23. arithmetical ring by PrimeFan
24. Ascoli-Arzel\`a theorem by paolini
25. asymptotic density by mathcam
26. atom by CWoo
27. atom (measure theory) by asteroid
28. axiomatization of dependence by rspuzio
29. Baer ring by CWoo
30. balanced set by matte
31. Banach-Steinhaus theorem by Koro
32. barycentric subdivision by CWoo
33. basis (topology) by rspuzio
34. best approximation by asteroid
35. best approximation in inner product spaces by asteroid
36. betweenness in rays by CWoo
37. beyond formalism: G\"{o}del's incompleteness by gribskoff
38. binomial coefficient by matte
39. bipartite matching by mathcam
40. Borel groupoid by bci1
41. Borsuk-Ulam theorem by RevBobo
42. boundary / frontier by yark
43. bounded by yark
44. calculus of subgroup orders by Algeboy
45. Cantor's paradox by Henry
46. Carath\'eodory's theorem by bbukh
47. cardinality of algebraic closure by rspuzio
48. Cauchy integral formula by djao
49. Cauchy-Davenport theorem by bbukh
50. centralizer by yark
51. centralizers in algebra by Algeboy
52. chain by CWoo
53. characteristic function by bbukh
54. characterization of almost convex functions by rspuzio
55. characterization of subspace topology by mps
56. chromatic polynomial by bbukh
57. classification of complex numbers by pahio
58. clopen subset by mathcam
59. closed operator by Koro
60. closed sublattice by porton
61. closure of a relation with respect to a property by CWoo
62. closure properties on languages by CWoo
63. closure space by CWoo
64. code by mathcam
65. cofinite and cocountable topologies by yark
66. coherent sheaf by PrimeFan
67. commutant by asteroid
68. commuting vector fields by matte
69. compact by djao
70. compact element by CWoo
71. compact groups are unimodular by asteroid
72. compactness and accumulation points of nets by azdbacks4234
73. comparison between Lebesgue and Riemann Integration by Mathprof
74. complementary subspace by rmilson
75. complete distributivity by CWoo
76. complete lattice by yark
77. complete measure by Koro
78. complete semilattice by CWoo
79. completely separated by CWoo
80. completion by djao
81. complex analytic manifold by jirka
82. conditions for a collection of subsets to be a basis for some topology by waj
83. cone by matte
84. conical neighborhood by urelement
85. constructible numbers by CWoo
86. constructing automata from regular languages by CWoo
87. construction of Riemann surface using paths by rspuzio
88. context-free language by CWoo
89. continuous poset by CWoo
90. convex set by drini
91. copula by CWoo
92. countable algebraic sets by rspuzio
93. countable complement topology by mathcam
94. counterexamples for products and coproduct by Algeboy
95. cover by mps
96. creating an infinite model by CWoo
97. criteria for a poset to be a complete lattice by CWoo
98. criterion of surjectivity by pahio
99. cut by vampyr
100. Dedekind cuts by rmilson
101. definition of prime ideal by Artin by pahio
102. dense (in a poset) by Henry
103. dense in-itself by rspuzio
104. dense ring of linear transformations by CWoo
105. derivation language by CWoo
106. derivation of properties on interior operation by CWoo
107. descending chain condition by antizeus
108. deterministic pushdown automaton by CWoo
109. difference set by CWoo
110. differentiation under the integral sign by stevecheng
111. Diophantine set by CWoo
112. direct images of analytic sets are analytic by gel
113. direct limit of sets by CWoo
114. directed graph by rm50
115. discrete by lalberti
116. door space by CWoo
117. edge covering by vampyr
118. Egorov's theorem by Koro
119. Einstein field equations by rspuzio
120. ellipsoid by matte
121. empty set by djao
122. equibounded by paolini
123. equivalent statement of Baire category theorem by gumau
124. essential supremum by gel
125. Esther Szekeres by Mravinci
126. every map into sphere which is not onto is nullhomotopic by joking
127. every orthonormal set is linearly independent by mathcam
128. every vector space has a basis by GrafZahl
129. example of an operator by Mathprof
130. example of monadic algebra by CWoo
131. examples of locally compact and not locally compact spaces by AxelBoldt
132. examples of rings by matte
133. exchangeable random variables by CWoo
134. existence and uniqueness of the gcd of two integers by alozano
135. existence of maximal semilattice decomposition by mclase
136. FC-group by yark
137. Feller process by mcarlisle
138. field adjunction by pahio
139. filtered probability space by gel
140. filtration of $\sigma$-algebras by gel
141. finding the order of a group by Algeboy
142. finite complement topology by mathcam
143. finite field by yark
144. finitely generated module by Thomas Heye
145. finitely generated modules over a principal ideal domain by yark
146. finiteness of $C_\cup$ and $C_{\cap}$ by rspuzio
147. first-order theory by CWoo
148. free group by yark
149. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
150. fundamental homomorphism theorem by yark
151. F\"urstenberg's proof of the infinitude of primes by mathcam
152. Gauss Green theorem by paolini
153. Gauss' lemma by drini
154. Gaussian process by CWoo
155. generalized Riemann integral by rspuzio
156. generalized sequential machine by CWoo
157. geometric lattice by CWoo
158. graded ring by aplant
159. graph by mathcam
160. graph theory by karteef
161. Green functions and conformal mapping by rspuzio
162. Hall's marriage theorem by mathcam
163. ham sandwich theorem by mathcam
164. Hamiltonian quaternions by mathcam
165. happy ending problem by PrimeFan
166. harmonic conjugate function by pahio
167. Hausdorff measure by paolini
168. Hausdorff metric by Koro
169. Hausdorff space not completely Hausdorff by drini
170. Heine-Borel theorem by Evandar
171. hitting time by PrimeFan
172. homotopes and isotopes of algebras by Algeboy
173. hyperbolic rotation by CWoo
174. hypergraph by CWoo
175. hyperreal by djao
176. hypersurface by jirka
177. IBN by CWoo
178. ideal by mclase
179. ideal of an algebra by asteroid
180. identity theorem by fernsanz
181. incidence geometry by CWoo
182. indiscrete topology by mathwizard
183. inequality of logarithmic and asymptotic density by kompik
184. infinite Galois theory by djao
185. infinite product measure by CWoo
186. interior by yark
187. interior axioms by rspuzio
188. interpretation of intuitionistic logic by means of functionals by gribskoff
189. intersection structure by CWoo
190. interval by PrimeFan
191. inverse image of a morphism by CWoo
192. irreducible component by nerdy2
193. iterated limit in $\mathbb{R}^2$ by pahio
194. Ito's lemma by gel
195. It\^o integral by stevecheng
196. Julia set by rspuzio
197. Julius K\"onig by WM
198. juxtaposition of automata by CWoo
199. KKM lemma by uriw
200. Kleene star by CWoo
201. Klein bottle by vernondalhart
202. Kneser graphs by justice
203. labelled digraph by GrafZahl
204. Lagrange multiplier method by cvalente
205. lattice filter by CWoo
206. lattice interval by CWoo
207. lattice of subgroups by CWoo
208. Lebesgue outer measure by yark
209. Levi pseudoconvex by jirka
210. Lie algebra by djao
211. Lie algebroids by bci1
212. Lindel\"of theorem by drini
213. line segment by matte
214. linear code by mathcam
215. linear continuum by azdbacks4234
216. linear interpolation by CWoo
217. linear manifold by matte
218. locale by CWoo
219. locally closed by asteroid
220. locally finite collection by yark
221. logical graph : introduction by Jon Awbrey
222. logicism by gribskoff
223. lowest upper bound by djao
224. Lusin's theorem by Wkbj79
225. LYM inequality by bbukh
226. M. H. Stone's representation theorem by rspuzio
227. MacNeille completion by CWoo
228. Mann's theorem by bbukh
229. many-sorted language by CWoo
230. many-sorted structure by CWoo
231. marginal distribution by mathcam
232. Markov algorithm by CWoo
233. matching by Mathprof
234. mathematical platonism by gribskoff
235. Mathieu groups by monster
236. matroid independence axioms by sgraves
237. McAlister covering theorem by mathcam
238. measurable function by CWoo
239. measurable space by djao
240. meet continuous by CWoo
241. minor (of a matrix) by CWoo
242. miracle octad generator by monster
243. modular function by asteroid
244. modular group by rm50
245. monomorphic set by CWoo
246. monotone class by fernsanz
247. monotone class theorem by fernsanz
248. Morse function by bwebste
249. mountain pass theorem by ncrom
250. multiplicative set by djao
251. multiplicatively closed by CWoo
252. Myhill-Nerode theorem for semigroups by Ziosilvio
253. M\"obius strip by Mathprof
254. natural boundary by rspuzio
255. neighborhood system on a set by CWoo
256. Nevanlinna theory by Simone
257. non-Newtonian calculus by smithpith
258. normal closure by yark
259. o-minimality by Timmy
260. open set in $\mathbb{R}^n$ contains an open rectangle by matte
261. operator norm of multiplication operator on $L^2$ by rspuzio
262. order ideal by CWoo
263. order topology by rspuzio
264. ordering on cardinalities by CWoo
265. orders in a number field by pahio
266. ordinal space by CWoo
267. orthonormal basis by yark
268. orthonormal set by yark
269. parabolic subgroup by bwebste
270. pathological by CWoo
271. paved space by gel
272. Peirce decomposition by mclase
273. period by mathcam
274. permutation by alozano
275. perspective drawing by stevecheng
276. polyhedron by Mathprof
277. polynomial function by pahio
278. polyrectangle by paolini
279. polytope by mps
280. positive root by mathwizard
281. positivity in ordered ring by pahio
282. predictable process by gel
283. prime spectrum by CWoo
284. probability distribution function by Mathprof
285. product measure by djao
286. product of left and right ideal by pahio
287. product topology and subspace topology by matte
288. projective geometry by Algeboy
289. projective variety by mathcam
290. proof of basis of ideal in algebraic number field by lalberti
291. proof of Brouwer fixed point theorem by uriw
292. proof of Carath\'eodory's theorem by kshum
293. proof of Cauchy integral formula by rmilson
294. proof of equivalence of formulas for exp by stevecheng
295. proof of injective images of Baire space by gel
296. proof of Krein-Milman theorem by georgiosl
297. proof of Lindel\"of theorem by Evandar
298. proof of Nakayama's lemma by mclase
299. proof of Pascal's rule by drini
300. proof of product of left and right ideal by rm50
301. proof of Urysohn's lemma by scanez
302. proof that $\operatorname{Spec}(R)$ is quasi-compact by Wkbj79
303. proof that a domain is Dedekind if its ideals are invertible by gel
304. proof that a domain is Dedekind if its ideals are products of maximals by gel
305. proof that every filter is contained in an ultrafilter by rspuzio
306. proof that uniformly continuous is proximity continuous by CWoo
307. properties of arbitrary joins and meets by CWoo
308. properties of bases by CWoo
309. properties of conjugacy by pahio
310. properties of linear independence by CWoo
311. properties of spanning sets by CWoo
312. propositional calculus by Jon Awbrey
313. proximity continuous by porton
314. proximity generated by uniformity by porton
315. Puiseux parametrization by jirka
316. quotient space by djao
317. R-minimal element by CWoo
318. Radon measure by ptr
319. Ramsey's theorem by mathcam
320. random graph (infinite) by bbukh
321. rank-selected poset by mps
322. rational transducer by CWoo
323. ray by CWoo
324. real closed fields by mathcam
325. real function by rspuzio
326. recession cone by CWoo
327. rectifiable set by paolini
328. recursively axiomatizable theory by mathcam
329. relative interior by CWoo
330. restricted direct product by djao
331. restriction of a continuous mapping is continuous by matte
332. Riemann surface by PrimeFan
333. ring of continuous functions by CWoo
334. Runge's theorem by Koro
335. scattered space by CWoo
336. Schauder fixed point theorem by paolini
337. scheme by djao
338. Schnirelmann density by bbukh
339. set closed under an operation by archibal
340. sets that do not have an infimum by sleske
341. several complex variables by jirka
342. sheaf cohomology by mathcam
343. Sidon set by bbukh
344. simplex algorithm by Mathprof
345. simplicial complex by djao
346. simplified automaton by CWoo
347. sober space by CWoo
348. solid set by CWoo
349. some properties of uncountable subsets of the real numbers by sauravbhaumik
350. space-time quantization problems in quantum gravity theories by bci1
351. span by mathwizard
352. spectral theorem by rmilson
353. spectral theorem by asteroid
354. stabilizer by djao
355. star refinement by CWoo
356. star-free by CWoo
357. star-shaped region by matte
358. statistic by CWoo
359. stereographic projection by GrafZahl
360. stochastic process by gel
361. structure by CWoo
362. subanalytic set by jirka
363. subbasis by evin290
364. subbundle by guffin
365. subcategory by CWoo
366. subfield criterion by pahio
367. subgoups of locally cyclic groups are locally cyclic by rspuzio
368. subgroups of $S_4$ by rm50
369. subinterval by Wkbj79
370. submanifold by jirka
371. submodule by PrimeFan
372. subobject classifier by CWoo
373. subring by yark
374. subset construction by CWoo
375. subspace topology by djao
376. sum function of series by pahio
377. sums of normal random variables need not be normal by gel
378. Sylow theorems, proof of by Henry
379. symmetric inverse semigroup by Mazzu
380. syntopogenous structure by CWoo
381. T1 space by drini
382. tail event by fernsanz
383. Tarski-Seidenberg theorem by jirka
384. term algebra by CWoo
385. Thabit number by Mravinci
386. the characteristic embedding of the Burnside ring by joking
387. the inclusion of classical into intuitionistic logic by gribskoff
388. theorem on constructible numbers by Wkbj79
389. theory of algebraic and transcendental numbers by alozano
390. thin algebraic set by alozano
391. tight by mps
392. topic entry on complex analysis by pahio
393. topological groupoid by HkBst
394. topological vector space by yark
395. topology induced by uniform structure by Mathprof
396. total order by yark
397. totally bounded by Mathprof
398. totally bounded subset of a metric space is bounded by georgiosl
399. transversals / lifts / sifts by Algeboy
400. traveling hump sequence by Wkbj79
401. type of a distribution function by CWoo
402. uniform continuity over locally compact quantum groupoids by bci1
403. uniform space by mps
404. uniform structure of a metric space by n3o
405. uniform structure of a topological group by mps
406. uniformities on a set form a complete lattice by mps
407. uniformly continuous by n3o
408. universally measurable by gel
409. upper bound by djao
410. upper set by CWoo
411. Urysohn extension theorem by CWoo
412. vector-valued function by pahio
413. visualizing maximal elements by stevecheng
414. wavelet set by swiftset
415. way below by CWoo
416. Weierstrass' criterion of uniform convergence by pahio
417. weight enumerator by GrafZahl
418. well-founded induction by ratboy
419. Zariski topology by djao
420. Zeisel number by CompositeFan
421. zero ideal by pahio
422. zero sequence by pahio