包含的か排他的か

本編（メリス／ジルバーガーの圏論的判断計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)）で書いた文言：

非対称（対称とは限らない、しかし対称でもかまわない）色付きオペラッド〈non-symmetric colored operad〉

「色付き」も「色無しでもかまわない」ものだ。