ゼロ型または空型とも呼ばれ、しばしばアップタック記号(⊥)で表記される.
しばしば