An Abstraction Is Lossless Only If It's Context-Free

When can you abstract something away for free? The condition has two names, context-free and zero mutual information, and almost nothing in a real system meets it.