Svagt matchande rim för extensionell definition