DS

DS在普通邏輯中的意思是：被定義項。