جبر تابعی

زیرجبری بسته از جبر باناخ توابع مختلط پیوسته بر فضای فشردۀ هاسدورف X با نُرم یکنواخت، که نقاط X را جدا می‏کند و شامل ثابت‌هاست؛ یک جبر جابه‏جایی باناخ نیم‏ساده که به‌صورت جبری از توابع پیوسته بر فضای ایده‏آل‌های بیشینۀ خود بیان می‏شود