4.1.3. Subtraction Rule Notes | Discrete Structure BIM | TU | TABFlux