預層

預層可指 ： 拓撲空間上的預層 範疇上的預層