Tricotomía (matemáticas)