Svag matchende rim for extensional definition