Registry · Definition
IV.D390
tau-effective
formalized
IV.D390 — Non-Dissipative Endomorphism
Endomorphism Φ: H_∂→H_∂ is non-dissipative iff it preserves all clopen ideals: Φ(I)=I ∀ clopen ideal I. Dissipative = strictly shrinks some ideal.