有向极限

directed limit