Wiki. “完备格” [完备格]

完备格是指 (视为范畴) 存在所有小极限与小余极限 (换言之, 存在所有小积与小余积) 的格.