実数体Λから{0,1}への写像全体
のほうが簡単では?