| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/topology/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 641 B |
|
Quelle connected_space.pvs Sprache: PVS |
|||||||||
|
%------------------------------------------------------------------------------
% Connected Spaces % % Author: David Lester, Manchester University, NIA, Université Perpignan % % All references are to WA Sutherland "Introduction to Metric and % Topological Spaces", OUP, 1981 % % Version 1.0 1/11/06 Initial Version %------------------------------------------------------------------------------ connected_space[T:TYPE,(IMPORTING topology_def[T]) S:connected_space]: THEORY BEGIN IMPORTING topology[T,S] A: VAR set[T] clopen_def: LEMMA clopen?(A) IFF A = emptyset[T] OR A = fullset[T] END connected_space ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28