数学における圭(けい)、分配亜群(ぶんぱいあぐん、;,;カンドル)および残滓(ざんし、;ラック)は、結び目の局所変形であるライデマイスター移動を図式操作と考えたときに抽出される公理と類似の公理を満たす二項演算を備えた集合である。