< abc < def