DS[邏輯學術語]

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