True ideal