単調推論たんちょうすいろん<たんちょう>･すいろん4

monotone Induktion