The following are equivalent [tfae]