数学における圭（けい）、分配亜群（ぶんぱいあぐん、дистрибутивныи Группоид; distributive groupoid, quandle; カンドル）および残滓（ざんし、rack; ラック)は、結び目の局所変形であるライデマイスター移動を図式操作と考えたときに抽出される公理と類似の公理を満たす二項演算を備えた集合である。 主に結び目理論を背景として研究されるものであるが、抽象代数学的な構造としては、自身の右からの作用を備えた代数系であると見なすことができる。
