In this paper, we use the exiting semi-generalized open set to define semi generalised local function as intersection between any subset of a topological space X and semi generalized-open neighboorhood of any point of X that is not belong to ideal I and investigate its properties in ideal topological space. It is a generalization of the existing generalized local function. We also use the exiting semi-generalized open set to define semi generalised compatible ideals as for every A ⊆ X such that for every x ∈ A, there exist semi generalized-open set U containing x such that U ∪ A ∈ I, then A ∈ I. It is a generalization of the existing generalized compatible ideal. We characterized relationship between semi generalised local function and semi generalised compatible ideal.