Definition of Cross-Remainder