assignment (mathematical logic)