begin
theorem Th1:
theorem
canceled;
theorem Th3:
theorem Th4:
theorem
theorem Th6:
:: deftheorem Def1 defines | WAYBEL10:def 1 :
theorem Th7:
theorem Th8:
theorem Th9:
begin
theorem Th10:
:: deftheorem Def2 defines ClOpers WAYBEL10:def 2 :
theorem Th11:
theorem Th12:
theorem Th13:
theorem Th14:
theorem Th15:
begin
:: deftheorem Def3 defines Sub WAYBEL10:def 3 :
theorem Th16:
:: deftheorem Def4 defines ClosureSystems WAYBEL10:def 4 :
theorem Th17:
theorem Th18:
begin
:: deftheorem Def5 defines ClImageMap WAYBEL10:def 5 :
:: deftheorem Def6 defines closure_op WAYBEL10:def 6 :
theorem Th19:
theorem Th20:
theorem Th21:
theorem Th22:
theorem
begin
theorem Th24:
theorem Th25:
theorem
:: deftheorem Def7 defines DsupClOpers WAYBEL10:def 7 :
theorem Th27:
:: deftheorem Def8 defines Subalgebras WAYBEL10:def 8 :
theorem Th28:
theorem Th29:
theorem