“Other district” means any district or other public agency formed under any law of the state.