:: deftheorem Def4 defines cosec BASEL_1:def 4 :
for f being real-valued Function
for b₂ being Function holds
( b₂ = cosec f iff ( dom b₂ = dom f & ( for x being object st x in dom f holds
b₂ . x = cosec (f . x) ) ) );