truth function truth table set theory arithmetical set sets ordered set set operation truth tree valuation tomset