partición (en matemáticas o informática)