Svagt matchande rim för extensionale definition