What topology guarantees that this maths is true?