Definition:Extended Cycloid