鎖 (数学)