Formal properties of the additive RANS/DNS filter.