[STATEMENT]
lemma weak_sup_pres:
  "sup_pres X Y f \<Longrightarrow> weak_sup_pres X Y f"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. sup_pres X Y f \<Longrightarrow> weak_sup_pres X Y f
[PROOF STEP]
by (simp add: sup_pres_def weak_sup_pres_def)