バナッハ環
函数解析学における正作用素全体の成す凸錐もまたそのような例であり、より抽象的にバナッハ環、C*-環におけるなどが考察の対象となる。