Avatar
数学の場合は空集合が必ず一意だから[a, a)という記法を用意する必要がないとか? (edited)