Exstrophy definitions