任意の集合A{\displaystyleA}に対し、A{\displaystyleA}の各有限部分集合がF{\displaystyle{\mathcal{F}}}に含まれるならば、そのときに限りA{\displaystyleA}はF{\displaystyle{\mathcal{F}}}に含まれる。
若C{\displaystyle{\mathcal{C}}}里存在任意的有限归纳极限，且F{\displaystyleF}与有限归纳极限交换，则称F{\displaystyleF}为右正合。