抽象性・公理性の高い数学を具体的に，実用性を尊重して執筆された“使える”数学書。