Levels of code coverage

I’ve been reviewing the Glossary of Testing Terms from the ISTQB®.  There are several defined code coverage types where one type of coverage is a super- or subset of another.  In order to better understand the relationships between these types of coverage, I’ve turned them into a Venn diagram.

For reference, here are the statements from which the Venn diagram was derived:

100% path coverage implies 100% LCSAJ coverage.

100% LCSAJ coverage implies 100% decision coverage.

100% multiple condition coverage implies 100% modified condition decision coverage.

100% modified condition decision coverage implies 100% decision condition coverage.

100% decision condition coverage implies both 100% condition coverage and 100% decision coverage.

100% decision coverage implies both 100% branch coverage and 100% statement coverage.

100% branch coverage implies both 100% decision coverage and 100% statement coverage.