Definition:Real Cosecant Function