Algebraically compact