Heteromorphic definitions