π-Base Topology yra bendruomenės topologinių priešingų pavyzdžių duomenų bazė.
Duomenų bazėje yra:
- Topologinės erdvės
- Topologinės teoremos.
- Topologinės savybės.
- Literatūros šaltiniai (knygos, straipsniai, forumai).
Informacija programėlės viduje:
- Erdvės, teoremos ir savybių aprašymai.
- Savybės, kurias tenkina (ir kurių netenkina) tam tikra erdvė.
- Teoremų, kurių priešingas pavyzdys yra duotoji erdvė, pokalbiai.
- Suteiktas turtas, kurios erdvės tenkina ir netenkina.
- Duotos teoremos atvirkštiniai pavyzdžiai. Jei priešingai yra tiesa, pateikiamas įrodymas arba nuoroda.
- Erdvės, atitinkančios duotą loginę formulę, suformuotą su savybėmis (ieška pagal formulę).
- Nuorodos.