0 anti-de sitter space | Definition of anti-de sitter space