In this paper, we define an ideal of a subtraction semigroup and a strong subtraction semigroup and characterizations of ideals is given. We prove that $x\wedge y$ is the greatest lower bound of $x$ and $y$ in subtraction semigroup $X.$ Also we define a congruence relation on a subtraction semigroup and a quotient subtraction semigroup and prove the isomorphisms.