[see also: comprise, include]
That (2) implies (1) is contained in the proof of Theorem 1 in [4].
The preceding proof contains a result which is interesting enough to be stated separately.
Go to List of words starting with: A B C D E F G H I J K L M N O P Q R S T U V W Y Z