π-Base Topology kontraadibide topologikoen datu-base komunitario bat da.
Datu-baseak honako hauek ditu:
- Espazio topologikoak
- Teorema topologikoak.
- Propietate topologikoak.
- Erreferentziak (Liburuak, Artikuluak, Foroak).
Aplikazioaren barruko informazioa:
- Espazioaren, teorema eta propietateen deskribapenak.
- Espazio jakin batek betetzen dituen (eta ez diren) propietateak.
- Espazio jakin bat kontraadibidetzat duten teoremen elkarrizketak.
- Propietate bat emanda, zein espaziok betetzen duten eta ez.
- Emandako teorema baten alderantzizkoaren aurkako adibideak. Alderantzizkoa Egia bada, froga edo erreferentzia bat ematen da.
- Propietateekin osatutako formula logiko jakin bat betetzen duten espazioak (bilaketa formulaz).
- Erreferentziak.
Azken eguneratzea
2025(e)ko abu. 31(a)